By Topic

Software Engineering Workshop (SEW), 2009 33rd Annual IEEE

Date 13-14 Oct. 2009

Filter Results

Displaying Results 1 - 25 of 26
  • [Front cover]

    Page(s): C1
    Save to Project icon | Request Permissions | PDF file iconPDF (269 KB)  
    Freely Available from IEEE
  • [Title page i]

    Page(s): i
    Save to Project icon | Request Permissions | PDF file iconPDF (85 KB)  
    Freely Available from IEEE
  • [Title page iii]

    Page(s): iii
    Save to Project icon | Request Permissions | PDF file iconPDF (139 KB)  
    Freely Available from IEEE
  • [Copyright notice]

    Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (110 KB)  
    Freely Available from IEEE
  • Table of contents

    Page(s): v - vi
    Save to Project icon | Request Permissions | PDF file iconPDF (148 KB)  
    Freely Available from IEEE
  • Preface

    Page(s): vii
    Save to Project icon | Request Permissions | PDF file iconPDF (79 KB)  
    Freely Available from IEEE
  • Program Committee

    Page(s): viii - ix
    Save to Project icon | Request Permissions | PDF file iconPDF (96 KB)  
    Freely Available from IEEE
  • A Realistic Model of Real-Time Systems for Efficient Scheduling

    Page(s): 3 - 12
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (457 KB) |  | HTML iconHTML  

    In order to take semantical aspects into account for the scheduling problem and obtain scheduling results for a wide class of systems, we extend the Petri net scheduling approach for real-time systems. Our study focuses on tasks with conditional statements. Classical approaches consider only the worst case execution time that occurs in the different branches of conditional statements and don't take the semantic of the tasks into account. We show that this pessimistic model can lead to wrong conclusions for scheduling. We extend the task model with conditional statements, and the notion of schedule is replaced by the notion of scheduling tree. We propose then a model approach using Petri nets in order to explicitly take conditional instructions and their semantics into account. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Adaptative Framework Architecture for RFID Applications

    Page(s): 15 - 24
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (976 KB) |  | HTML iconHTML  

    The rising use of RFID has been stimulating the world market through strong financial investments heading for the adoption of RFID as a standard identification technology. Such initiative has been fomenting the necessity of an infrastructure able to deal with the restrictions and limitations imposed by business areas and RFID environments. This work presents a modular and adaptive framework architecture that implements the EPC Network specifications and that aims at facilitating the RFID applications development. The framework is composed by modules that provide communication interfaces for different applications and reader devices and also a set of functions for data processing and information services. For the work validation, the framework was integrated in a real system for fuel supply control of vehicle fleets and the results demonstrated its efficiency in the integration of RFID systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent Systems

    Page(s): 25 - 32
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (485 KB) |  | HTML iconHTML  

    Agent-oriented design relies on key abstractions: goals, plans and actions. These abstractions are used by several agent modeling languages and methodologies to specify the many different multi-agent system (MAS) features. Nevertheless, there are some agency features that cannot be properly modularized using only these abstractions. The Aspect-Oriented Programming paradigm allows the modularization of agency concerns, preventing scattered and tangled code through a development methodology. This paper presents AgentCross, an agent methodology independent platform that allows the implementation of crosscutting concerns in MAS. AgentCross proposes the inclusion of aspect-oriented abstractions into the agent platform specified by FIPA. This is achieved by the integration of JADE agent platform and AspectJ. We describe the new agent crosscutting abstractions, the platform integration and we also show a simple example of the implementation of crosscutting concerns in a MAS. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Engineering of Software: Three Productivity Perspectives

    Page(s): 35 - 44
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (764 KB) |  | HTML iconHTML  

    Evolving software products is a tricky business, especially when the domain is complex and changing rapidly. Like other fields of engineering, software engineering productivity advances have come about largely through abstraction, reuse, process, and automation (e.g., moving from assembly language to third generation languages offered increased productivity through better abstraction). For canonical or domain applications, model-based engineering (MBE) of software provides a systematic approach for producing software systems that leverage all of these avenues of productivity. Specifying or modeling software at higher levels of abstraction and connecting these representations with previously developed (reusable) components provides a repeatable assembly and transformation process that can often be automated. Since 2004, we have explored MBE for generating software from the high-level for sophisticated agent-based systems, low-level complexity in the details of software-defined radios, and more recently with the maturation of emergent systems found in social networking (i.e., Facebook-like systems). While productivity is a key benefit of MBE in software, there have been few studies that examine productivity. In this paper, we present our experience in these efforts and reflect on some productivity implications. Our experience shows that MBE introduces some complexities early in the product life cycle, but provides a stable basis for better productivity through systematic abstraction, reuse, process, and automation. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Study Case about a Software Project Management Success Metrics

    Page(s): 45 - 54
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (617 KB) |  | HTML iconHTML  

    For years, the success of a project is measured using the cost, time and quality, but to restrict the assessment in these dimensions for the evaluation of success of the Project Management has been challenged both by the academic community and by practitioners. Differences emerge from the fact that these criteria are restricted to efficiency, while the results of the project are evaluated in a more comprehensive way, including effectiveness and strategic alignment. The objective of this research is to propose a methodology for identification, measurement and integration of those aspects that explain quantitatively what success is in the perspective of decision-makers in a developing software corporation. This process has helped in negotiations between the stakeholders of the project, and consequently, has helped the chief project officer to select and prioritize strategic projects within the demands of new products. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems?

    Page(s): 57
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (208 KB) |  | HTML iconHTML  

    The Autonomous and Autonomic Systems initiative has as its vision the creation of self-directed and self-managing systems to address today's concerns of complexity and total cost of ownership while meeting tomorrow's needs for pervasive and ubiquitous software-based computation and communication. The future of computing and communications is being researched under many areas, including cloud, grid, utility, pervasive, ubiquitous, invisible, world, ambient, paint and so forth. The driving force behind these future paradigms of computer-based systems is the increasing convergence between proliferation of devices, wireless networking, and mobile software. Weiser first described what has become known as ubiquitous computing as the move away from the “dramatic” machine, where hardware and software's focus was on being so exciting that we as users would not want to be without it, towards making the machine “invisible”, so embedded in our lives it is used without thinking or recognising it as computing. Behind these different terms and research areas, lie three key properties: nomadic, embedded and invisible. In effect, leading to, the creation of a single system with (potentially) billions of networked information devices and resulting in a Complexity Quagmire? As such, the case can be made that all of the next generation paradigms, in one form or another, will require an autonomic-self-managing-infrastructure to be able to provide the successful reality of this envisaged level of pervasiveness, invisibility and mobility. This keynote talk reports on research and development, with examples from Biometric Identification and Tracking Systems, Autonomic Communications, and Space Exploration Systems, utilizing the biological metaphor of the autonomic nervous system to computing and communications, in which computer-based systems self-regulate by using automatic reactions to defend, optimize and heal. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Specification and Refinement of Contracts with Environment Changes

    Page(s): 61 - 68
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (326 KB) |  | HTML iconHTML  

    The web environment creates risks together with benefits for web services. Web services often engage attacks from hackers or anyone having hostile intensions. The behavior of services is often effected by the environment changes which should be included in its specifications. In addition, services usually have some mechanisms provided by the developers to deal with the environment changes, especially attacks. However, common specifications of services seldom contain such information. This paper provides a formal behavioral model based on the service behaviors related to its environments and environment changes. A refinement relation is also provided in the behavior model. This model can form a view to analyze the environment influence to the service and compare them according to their defending mechanisms. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • JaBUTiService: A Web Service for Structural Testing of Java Programs

    Page(s): 69 - 76
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (443 KB) |  | HTML iconHTML  

    Web services are an emerging Service-Oriented Architecture technology to integrate applications using open standards based on XML. Software Engineering tools integration is a promising area since companies adopt different software processes and need different tools on each activity. Software engineers could take advantage of software engineering tools available as web services and create their own workflow for integrating the required tools. In this paper, we propose the development of testing tools designed as web services and discuss the pros and cons of this idea. We developed a web service for structural testing of Java programs called JaBUTiService, which is based on the stand-alone tool JaBUTi. We also present an usage example of this service with the support of a desktop front-end and pre prepared scripts. A set of 62 classes of the library Apache-Commons-BeanUtils was used for this test and the results are discussed. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods

    Page(s): 79 - 86
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (281 KB) |  | HTML iconHTML  

    Automatic text classification of the software change request (CR) can be used for automating impact analysis, bug triage and effort estimation. In this paper, we focus on the automation of the process for assigning CRs to developers and present a solution that is based on automatic text classification of CRs. In addition our approach provides the list of source files, which are required to be modified and an estimate for the time required to resolve a given CR. To perform experiments, we downloaded the set of resolved CRs from the OSS project's repository for Mozilla. We labeled each CR with multiple labels i.e., the developer name, the list of source files, and the time spent to resolve the CR. To train the classifier, our approach applies the Problem Transformation and Algorithm Adaptation methods of multi-label machine learning to the multi-labeled CR data. With this approach, we have obtained precision levels up to 71.3% with 40.1% recall. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Complexity Reduction in Developing Autonomic Systems with ASSL

    Page(s): 87 - 93
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (861 KB) |  | HTML iconHTML  

    Autonomic computing promises overall IT complexity reduction by hiding system complexity and intricacy via systems capable of self-management. However, despite the fact that such systems reduce software maintenance costs and complexity, the autonomic computing approach does not provide any means for complexity reduction in autonomic system development. In this paper, we present our approach to reducing the complexity of developing autonomic systems with the Autonomic System Specification Language (ASSL). This paper reasons on the complexity-reduction factors employed by ASSL in terms of properly designed abstractions and a variety of complexity-reduction specification features. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development

    Page(s): 94 - 103
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (574 KB) |  | HTML iconHTML  

    SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. This paper presents the first step for having a full formal semantics of SPLACID by translation to Alloy. In particular, we present the translation of the SPLACID concepts into Alloy concepts focusing on those concepts pertaining to the structure of a Transactional Model and those characterizing the isolation variant. The Alloy specification obtained by this translation preserve the SPLACID main key-properties, namely, modularity, flexibility and reusability. To support this claim we show how flexible, modular and reusable structures and isolation variants can be obtained in Alloy. Finally, we analyze the flat and nested transactional model structures and the serializability-based isolation variant using the Alloy Analyzer. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language

    Page(s): 104 - 114
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (298 KB) |  | HTML iconHTML  

    Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these features. We have integrated probability, time and concurrency in one single model (called PTSC), where the concurrency feature is modelled using shared-variable based communication. Meanwhile, we have also explored the link between the operational semantics and algebraic semantics, where our approach was started from algebraic laws via head normal form. This paper considers the animation of the link between operational semantics and algebraic semantics for PTSC. Our approach is by using Prolog as the development language. Firstly we explore the animation of the operational semantics for PTSC. The link of the two semantics is proceeded via the concept of head normal form. Secondly the generation of head normal form is explored, especially the animation of parallel expansion laws. Finally we consider the animation of deriving operational semantics by a provided derivation strategy via head normal form. The results animated from the first and the third exploration indicate that our operational semantics is sound and complete with respect to head normal form (or algebraic laws in general). View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Decentralized Reasoning in Ambient Intelligence

    Page(s): 115 - 124
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (351 KB) |  | HTML iconHTML  

    In Ambient Intelligence (AmI), reasoning is fundamental for identifying specific situations that may be meaningful and relevant to some applications. As in such systems usually not all context data is readily available to all reasoners within a system, these reasoning operations may need to evaluate context data collected from distributed sources and stored on different devices. This work proposes a middleware service for performing decentralized rule-based reasoning about context data targeting AmI systems in which we assume that there are two main interacting parties in the reasoning process, each having access to different context information. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Business Processes in System Requirements Definition

    Page(s): 125 - 130
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (193 KB) |  | HTML iconHTML  

    The relevance of business process modeling and information technology is growing. That happens because, in general, information systems automate, assist and control those processes. So, the business understanding can be crucial for an appropriate requirements definition. However, there are still few methods that exploit the contributions that the Business Process Engineering can provide for requirements elicitation to produce results more compliant to the company needs. Thus, this work presents a method and its application in a real case that uses the business processes as a way to extract the requirements. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data Warehousing in an Industrial Software Development Environment

    Page(s): 131 - 135
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (427 KB) |  | HTML iconHTML  

    Data quality is one of the bases for effective data mining. Flexible, consistent and extensible data storage is one of the requirements for effective data analysis. For more than 15 years, researchers in the database and decision making world have been studying the construction of data repositories for data analysis. Named data warehouses, these repositories are historical databases, which are separated both logically and physically from the organization production environment and designed to store data gathered from this environment. Data warehousing also includes data selection, integration and organization approaches to make data easily accessible to the decision making process. Based on our previous experience with data warehousing for mining software repositories, this paper presents a Data Warehousing Approach for software development data analysis. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluating MaSE Methodology in the Requirements Identification

    Page(s): 136 - 143
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (341 KB) |  | HTML iconHTML  

    Agent orientation appears as a solution for constructing complex systems adapting the requirements identification to cope with agent properties like autonomy, sociability and pro-activeness. Many methodologies were proposed adopting this new paradigm. However, most of them are still in development and therefore need to be adapted. In this work MaSE, an agent-oriented methodology is evaluated. We use an exemplar proposed in 2001 by Yu and Cysneiros to evaluate both agent/goal orientation and object orientation. This evaluation aims at analysing which are the strengths and weaknesses of MaSE through the methodologies questions proposed in the exemplar. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Knowledge Representation and Data Provenance Model to Self-Tuning Database Systems

    Page(s): 144 - 150
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (535 KB) |  | HTML iconHTML  

    Most autonomic database systems do not explicit their decision rationale behind tuning activities. Consequently, users may not trust some of the automatic tuning decisions. In this paper we propose a rather transparent strategy, that provides feedback to database administrators, based on information extracted from the database log. The proposed approach consists in transforming log results into a user-friendly knowledge representation, based on the graphical representation for OWL. This model provides users with the rationale behind system decisions, adds semantics to the database self-tuning actions, and provides useful provenance information about the whole process. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Page(s): 151
    Save to Project icon | Request Permissions | PDF file iconPDF (81 KB)  
    Freely Available from IEEE