ENASE 2010 Abstracts

Full Papers Short Papers
Full Papers
Paper Nr: 10
Title:

A Plea for Pluggable Programming Language Features
Authors:

Bernhard Humm and Ralf Engelschall
Abstract: Current programming languages are inflexible regarding their use of language features like typing, access control, contracts, etc. In some languages, the programmer is forced to use them, in others he may not. This article pleads for pluggable programming language features, a concept that allows greater flexibility for application programmers without losing control over the use of those features.
Download
Paper Nr: 11
Title:

A SYSTEMATIC LITERATURE REVIEW OF HOW TO INTRODUCE DATA QUALITY REQUIREMENTS INTO A SOFTWARE PRODUCT DEVELOPMENT
Authors:

César Guerra-García, César Guerra-García, Ismael Caballero and Mario Piattini
Abstract: In recent years many organizations have come to realize the importance of maintaining data with the most appropriate levels of data quality when using their information systems (IS). We therefore consider that it is essential to introduce and implement mechanisms into the organizational IS in order to ensure acceptable quality levels in its data. Only by means of these mechanisms, will users be able to trust in the data they are using for the task in hand. These mechanisms must be developed to satisfy their data quality requirements when using specific functionalities of the IS. From our point of view as software engineering researchers, both these data quality requirements and the remaining software requirements must be dealt with in an appropriate manner. Since the goal of our research is to establish means to develop those software mechanisms aimed at managing data quality in IS, we decided to begin by carrying out a survey on related methodological and technical issues to depict the current state of the field. We decided to use the systematic review technique to achieve this goal. This paper shows the principal results of the survey, along with the conclusions reached.
Download
Paper Nr: 13
Title:

TOWARDS A CATALOGUE OF CONFLICTS AMONG NON-FUNCTIONAL REQUIREMENTS
Authors:

Dewi Mairiza, Didar Zowghi and Nurie Nurmuliani
Abstract: Two of the most significant characteristics of non-functional requirements (NFRs) are “interacting” and “relative”. Interacting means NFRs tend to interfere, conflict, and contradict with one other while relative means the interpretation of NFRs may vary depending on many factors, such as the context of the system being developed and the extent of stakeholder involvement. For the purpose of understanding the interacting characteristic of NFRs, several potential conflict models have been presented in the literature. These models represent the positive or negative inter-relationships among various types of NFRs. However, none of them deal with the relative characteristic of NFRs. In fact, multiple interpretations of NFRs in the system being developed may lead to positive or negative inter-relationships that are not always obvious. As a result, the existing potential conflict models remain in disagreement with one other. This paper presents the result of an extensive and systematic investigation of the extant literature over the notion of NFRs and conflicts among them. A catalogue of NFRs conflicts with respect to the NFRs relative characteristic is presented. The relativity of conflicts is characterized by three categories: absolute conflict; relative conflict; and never conflict. This catalogue could assist software developers in identifying the conflicts among NFRs, performing further conflict analysis, and identifying the potential strategies to resolve those conflicts.
Download
Paper Nr: 15
Title:

USING ASPECT-ORIENTATION FOR SOFTWARE MIGRATION
Authors:

Uwe Hohenstein and Michael C. Jaeger
Abstract: A replacement of 3rd party tools such as database systems or persistence frameworks occur quite often in practice. Possible reasons are license costs, customer requirements or missing functionality. Such a migration basically means exchanging API calls and dealing with functional differences. Problems occur if some functionality cannot be emulated. This paper proposes and explains the use of aspect-orientation to handle severe problems in migration scenarios. A conducted migration project is introduced the goal of which was to replace the object-relational persistence framework Hibernate with OpenJPA. The migration project has involved challenging problems where the application of aspect-oriented programming has provided simple and straightforward solutions.
Download
Paper Nr: 17
Title:

A SYSTEMATIC REVIEW ON THE HARMONIZATION OF REFERENCE MODELS
Authors:

César J. Pardo Calvache, Francisco Pino, Félix García Rubio, Mario Piattini and Maria T. Baldasarre
Abstract: At present, there are wide ranges of reference models that are available to improve the way to develop and manage the software development in an organization, e.g. there are models to improve quality management, such as ISO 9001, for Software Quality Management there is ISO 90003, to improve the capacity of models there are CMMI and ISO 12207, for the IT Governance, there are ITIL, PMBOK and COBIT, Information Security Management Systems such as 27000 and Bodies of Knowledge such as SWEBOK, amongst others. However, the heterogeneity of the models available, together with the need to solve problems from many dimensions and organizational hierarchies, means that organizations face problems in improvement process projects which have to deal with different models at the same time. In this article, a systematic review is presented of works, initiatives and projects published and carried out on the harmonization of multi-model environments. Another objective stemming from the above is to discuss the significant issues related to this area of knowledge, providing an up-to-date state of the art and identifying possible related research streams.
Download
Paper Nr: 18
Title:

ABSOLUTE SCALES TO EXPRESS STAKEHOLDER VALUE FOR IMPROVING SUPPORT FOR PRIORITIZATION
Authors:

Lindsey Brodie, Lindsey Brodie and Mark Woodman
Abstract: Given the reality of resource constraints, software development always involves prioritization to establish what to implement. Iterative and incremental development methods increase the amount of prioritization required and introduce the need to support dynamic prioritization to identify high stakeholder value. Ideally the needs of all the stakeholders are considered in the priority decision-making and there might be negotiation amongst them. In this paper we argue that the current prioritization methods often lack adequate support for the prioritization process. Specifically that many methods fail to appropriately structure the data for stakeholder value, which results in explicit stakeholder value not being captured. This problem is often compounded by a lack of support for handling multiple stakeholder viewpoints. We propose an extension to an existing prioritization method, impact estimation, to move towards better capture of explicit stakeholder value and catering for multiple stakeholders. A key feature is the use of absolute scale data for stakeholder value. We use a small industry case study to evaluate this new approach. Our findings argue that it provides a better basis for supporting priority decision-making over the implementation choices for requirements and designs.
Download
Paper Nr: 20
Title:

A METHOD AND A TOOL BASED ON A CONCEPTUAL GRAPH FOR INFORMATION SYSTEMS ENGINEERING PROCESSES
Authors:

Charlotte Hug, Agnès Front and Dominique Rieu
Abstract: In order to build information systems, project managers concentrate on the system to produce but also on the engineering process. Each process is necessarily different for each situation as it depends on the targeted information system. Process modelling is an important step towards information systems quality. Nowadays, method engineers are faced to a lot of different process models; however, they need to adapt them to the organization specificities which is hard to achieve. We propose a method allowing method engineers to build process metamodels to instantiate the process models that meet the actual organizations constraints and specificities. Our method consists of selecting the concepts needed from a conceptual graph, gathering the current knowledge of metamodelling concepts for information systems engineering processes, and integrating them in a new process metamodel. In this paper, we focus on the concepts selection. We also present ProMISE, a tool that supports our method.
Download
Paper Nr: 21
Title:

AN EMPIRICAL STUDY ON DESIGN PATTERN USAGE ON OPEN-SOURCE SOFTWARE
Authors:

Apostolos Ampatzoglou, Sofia Charalampidou and Ioannis Stamelos
Abstract: Currently, open source software communities are thriving and the number of projects that are available through well known code repositories is rapidly increasing over the years. The amount of code that is freely available to developers facilitates high reuse opportunities. One of the major concerns of developers when reusing code is the quality of the code that is going to be reused. Design patterns are well known solutions that are reported to produce substantial benefits with respect to software quality. In this paper, we investigate the extent to which design patterns are employed in open source software. More specifically, this study reports empirical results based on the number and type of design patterns retrieved from open source software projects. Up to now, one hundred and eight (108) open source software projects of various characteristics have been considered. The results of the study suggest that several patterns are more frequently used in open source software than others, that some patterns are more applicable in some categories than others and that program size, number of downloads, days of project activity and the number of developers are crucial factors that influence the use of design patterns in open source software project.
Paper Nr: 27
Title:

NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING: State Diagrams driven by Plausible Logic
Authors:

Rene Hexel, Vladimir Estivill-Castro, David Billington and Andrew Rock
Abstract: We extend the state diagrams used for dynamic modelling in object-oriented analysis and design. We sug- gest that the events which label the state transitions be replaced with plausible logic expressions. The result is a very effective descriptive and declarative mechanism for specifying requirements that can be applied to requirements engineering of robotic and embedded systems. The declarative model can automatically be trans- lated and requirements are traceable to implementation and validation, minimising faults from the perspective of software engineering. We compare our approach with Petri Nets and Behavior Trees using the well-known example of the one-minute microwave oven.
Download
Paper Nr: 28
Title:

A Change Propagation Process for Distributed Software Architecture
Authors:

Laurent Deruelle, Mohamed Oussama Hassan, Henri Basson, Adeel Ahmad, Henri Basson, Laurent Deruelle and Adeel Ahmad
Abstract: In the context of software architecture evolution, understanding the impacts of a change to be applied on a distributed software architecture is necessary for various activities related to maintenance and change management. In this paper, we propose formal models and a platform based on eclipse plugins for modeling and analysis of the software architecture description and their related source codes. The proposed models aim at the construction of graph representation based on the architecture description and the software source codes. The graph implementation is mapped with facts of a distributed knowledge-based system, which performs change propagation rules to evaluate the impact of a change performed on distributed components.
Download
Paper Nr: 29
Title:

COMMON LANUGAGES FOR SEMANTIC WWW -- Beyond RDF and OWL --
Authors:

Seiji Koide and Hideaki Takeda
Abstract: OWL has established itself as a standard of ontology description language not only in Semantic Web but also in diverse disciplines and engineering fields. However, endeavors to describe ontology in OWL are revealing the extent of ability on the OWL current specification in practical views. In this paper, we see an overview of basic assumptions of knowledge representation languages for Semantic Web, and point out several basic and problematic issues of OWL, which are captured by our own experience of developing a language processor called SWCLOS, the first OWL Full processor developed on top of Common Lisp Object System (CLOS), and we address our approach to solve them. It includes explicit descriptions of role concepts, auto-epistemic local closed world assumption, ternary truth values, and unique name assumption for atomic objects. These settings are implemented into SWCLOS. Finally, we envision the direction of languages for semantic WWW.
Download
Paper Nr: 33
Title:

GENERATING FLEXIBLE CODE FOR ASSOCIATIONS
Authors:

Guy Wiener and Mayer Goldberg
Abstract: Generating code for associations is one of the most fundamental requirements from a model-based code generator. There are several approaches for implementing associations, ranging from using basic collections frameworks to using a database. The choice between them derive from the current requirements of the software: Whether parallelism, caching or persistency required for a relation. Hard-coding a specific design choice makes it difficult to alter it later. In this work, we propose a scheme that allows for automatic code generations of associations with different features, without requiring manual changes to the code. These features include using indices, traversing the association in parallel, or using an external database. Instead of the sequential iterator interface, we propose to use an interface that is based on operations over collections, such as Foreach, Filter, Map and Fold. This interface allows for writing operations that traverse the association without being dependent on the implementation details of the generated code.
Download
Paper Nr: 34
Title:

Knowledge Support for Software Processes
Authors:

Svatopluk Stolfa, Jan Kozusznik and Michal Kosinar
Abstract: Documented software processes and their assessments are the basics of modern software development. Nowadays, the semantic web, knowledge bases and knowledge management support many applications, but still their application within software processes (and business processes generally) are surprisingly being ignored. In this paper we focus on applying a knowledge layer into software processes and on the design of such a knowledge base. After a brief description of some classical fundamental approaches to software processes and knowledge bases, we propose an improvement based on the application of a machine readable knowledge base. We focus, in particular, on optimizing and enhancing software processes and their assessments with the knowledge layer.
Download
Paper Nr: 35
Title:

AN AUTOMATED MODEL-DRIVEN TESTING FRAMEWORK for Model-Driven Development and Software Product Lines
Authors:

Beatriz Perez, Macario Polo and Mario Piattini
Abstract: This work presents an automated testing framework that can be applied to Model-Driven Development and Software Product Line development. The framework uses standards metamodels such as UML, UML Testing Profile and standards transformation languages such as Query/View/Transformation or MOF2Text. Test cases are automatically generated from UML sequence diagrams that represent the functionality to test.
Download
Paper Nr: 36
Title:

AUTOMATED COMPOSITION OF WEB SERVICE WORKFLOW A Novel QoS-Enabled Multi-Criteria Cost Search Algorithm

Authors:

Gursel Serpen, Gursel Serpen and Jaina Sangtani
Abstract: The introduction of software technology has dramatically increased the efficiency of completing tasks. Code reusability provides efficiency within the software engineering discipline. With the tumultuous increase in acceptance of service oriented architecture, and thus, a rise in the number of web services, skilled software developers spend a lot of time composing web service workflows, rather than creating innovative and efficient services. Hence, we put forward a technique of code reusability that utilizes heuristic based search methods to automate service workflow composition by weighting quality of service criteria by relevance and importance to the users. We implement a novel and heuristic-based graph creation and search algorithm where the heuristic function value is calculated through the uniform cost search based on each of the quality of service criteria specified by the user. Application of the proposed automated workflow composition algorithm is illustrated with success on an industry-grade service-oriented architecture problem.
Download
Paper Nr: 38
Title:

INTRODUCING AGILE SOFTWARE DEVELOPMENT AT SAP AG
Authors:

Joachim Schnitter and Olaf Mackert
Abstract: This paper describes the change process that is taking place at SAP AG to move the software development processes from a waterfall-like approach to agile methodologies. This change affects about 18,000 developers working at 12 global locations. The paper outlines the procedure to introduce Scrum as an implementation of lean development, and the model chosen to scale Scrum up to large product development projects. The most important observations are described, and an outlook on future improvement is given.
Download
Paper Nr: 40
Title:

An empirical assessment of the impact of AOP on software modularity
Authors:

Adam Przybylek
Abstract: The term “crosscutting concern” describes a piece of system that cannot be cleanly modularized because of the limited abstractions of traditional programming languages. Symptoms of implementing crosscutting concerns in the languages like C, C#, Java are “code scattering” and “code tangling” that both degrade software modularity. Aspect-oriented programming (AOP) was proposed as a new paradigm to overcome these problems. Although it is known that AOP allows programmers to separate crosscutting concerns, the impact of AOP on software modularity is not yet well investigated. This paper reports a quantitative study comparing OO and AO implementations with respect to modularity.
Download
Paper Nr: 41
Title:

SEMI-AUTOMATIC ASSIGNMENT OF WORK ITEMS
Authors:

Jonas Helming, Holger Arndt, Maximilian Koegel and Zardosht Hodaie
Abstract: Many software development projects maintain repositories managing work items such as bug reports or tasks. In open-source projects, these repositories are accessible for end-users or clients, allowing them to enter new work items. These artifacts have to be further triaged. The most important step is the initial assignment of a work item to a responsible developer. As a consequence, a number of approaches exist to semi-automatically assign bug reports, e.g. using methods from machine learning. We compare different approaches to assign new work items to developers mining textual content as well as structural information. Furthermore we propose a novel model-based approach, which also considers relations from work items to the system specification for the assignment. The approaches are applied to different types of work items, including bug reports and tasks. To evaluate our approaches we mine the model repository of three different projects. We also included history data to determine how well they work in different states.
Download
Paper Nr: 45
Title:

A Generic Framework for Distributed Components-based Software Systems Deployment
Authors:

Mariam Dibo and Noureddine Belkhatir
Abstract: Due to architecture and environment complexity, the life cycle of distributed component-based software systems raises a new challenge. Hence there is an increased need for new techniques and tools to manage these systems. This paper focuses on software deployment which is emerging as a new research field. Deployment is a complex process gathering activities to make applications operational after development. The goal of this document is to define what could be an unified meta modeling architecture for deployment of distributed component based software systems. To illustrate the feasibility of the approach, we present the a tool called UDeploy (Unified Deployment architecture) which manages the planning process from meta-information related to the application and the infrastructure; secondly, the generation of specific deployment descriptors related to the application and the environment (i.e. the machines connected to a network where a software system is deployed); and finally the execution of a plan produced by means of deployment strategies used for elaborating deployment plan.
Download
Short Papers
Paper Nr: 9
Title:

Class Encapsulation and Object Encapsulation
Authors:

Warwick Irwin, Neville Churcher and Janina Voigt
Abstract: Two schools of thought underpin the way OO programming languages support encapsulation. Ob¬ject encap-sulation ensures that private members are accessible only within a single object. Class encapsulation allows private members to be accessed by other objects of the same class. This paper describes an empirical inves-tigation into the way encapsulation is used in practice in class encapsulation languages C# and Java. We find arbitrary and inconsistent programming practices and suggest that object en¬capsula¬tion is more intuitive and provides OO design advantages.
Download
Paper Nr: 31
Title:

A semi-automated process for open source code reuse
Authors:

Apostolos Kritikos, Ioannis Stamelos and George Kakarontzas
Abstract: It is clear that Free Libre / Open Source Software (FLOSS) has demonstrated increasing importance continually for some years now. As a result, millions of lines of code are becoming available online. In many cases, this code, is carefully designed, implemented, tested and therefore represents a very good option for reusability. Lately, more and more companies, especially Small and Medium Enterprises (SMEs), are reusing open source code to develop their own software. Source code forges such as SourceForge, Google Code etc., serve as component pools providing plenty of alternatives. In this work we are proposing a semi-automated reuse process model for discovering open source code online, based on the requirements of the system under design. This model illustrates the greedy approach of a reuse engineer, who wishes to reuse as much code as he can and implement the least possible.
Download
Paper Nr: 39
Title:

EVALUATING THE QUALITY OF FREE/OPEN SOURCE PROJECTS
Authors:

Maria Tortorella, Lerina Aversano and Igino Pennino
Abstract: Characterization and evaluation of software quality is one of the main challenge of software engineering. One of currently used standards is ISO/IEC 9126, which defines a quality model for software products. However, in the context of Free/Open Source software, differences in production, distribution and support modality, have to be considered as additional quality characteristics apart from ISO standard ones. This paper defines a quality model for Free/Open Source Software projects, equipped with an evaluation framework, realized by applying the Goal Question Metric paradigm. The evaluation of an open source system has been carried out as case study.
Download
Paper Nr: 42
Title:

ISO/IEC 15504 BEST PRACTICES TO FACILITATE ISO/IEC 27000 IMPLEMENTATION
Authors:

Antonia Mas, Antoni L. Mesquida Calafat, Esperança Amengual Alcover and Bartomeu Fluxà
Abstract: In software development companies, as well as in any company, information must be adequately protected. Therefore, the implementation of information security standards has also become crucial in software organizations. Software companies involved in a process improvement initiative according to the ISO/IEC 15504 standard for process assessment and improvement are showing an increasing interest in the implementation of the ISO/IEC 27000 standard for information security management. With the intention of supporting these companies in the implementation of the ISO/IEC 27000 standard, our main goal is the development of a method which provides guidance on the application of both frameworks. As a first step of this work, in this article a mapping between ISO/IEC 27002 and ISO/IEC 15504-5 is presented.
Download
Paper Nr: 43
Title:

A vocabulary for the modelling of image search microservices
Authors:

José Ignacio Fernández-Villamor, Mercedes Garijo and Fernández A. Iglesias
Abstract: In order to take advantage of the services that are available on the Web, several approaches that allow describing services have been proposed. With them, developers can publish service descriptions, allowing services to be automatically executed and composed. However, in most cases, the service description task is not carried out, partly because it is a time-consuming task. This has caused initiatives such as WSMO lite, SA-REST, hRESTS or Microservices, that try to reduce complexity in services, to appear. Also, an increasing number of web applications have followed the Linked Data initiative and publish information that is machine processable thanks to Semantic Web technologies such as RDF. However, sometimes direct access to information requires the usage of search forms and, in other cases, spidering techniques such as focused crawling in order to aggregate and filter data. Automatic execution of search services would improve access to information in the web by enabling agents to automatically aggregate, filter and directly access data. In this paper, it is presented how the Microservices framework can provide a feature-based vocabulary for the description of image search services. Microservices framework is a lightweight service description framework that take feature-oriented and aspect-oriented programming ideas to service description. The article illustrates how this vocabulary can characterise a set of popular search services, such as Google Images or Flickr. In addition, the article describes how this vocabulary can be used for the development of new services, such as a metasearcher that aggregates results from various search services.
Download
Paper Nr: 47
Title:

A Deconstructivist Methodology for Software Engineering
Authors:

Doris Allhutter
Abstract: Grounded within qualitative research on software engineering and science and technology studies, the paper introduces a deconstructivist methodology for software engineering. Software engineering is a socio-technological process of negotiation embedded in organizational and societal contexts. Thus, social dimensions such as hidden assumptions of use contexts (e.g. based on diversity aspects such as age, gender, class or cultural diversity) implicitly inform development practices. To foster reflective competences in this area, the paper suggests using deconstruction as a tool to disclose collective processes of meaning construction. For this purpose, the idea of introducing a deconstructive process to software engineering is linked to approaches of practice-based, situated and context-sensitive learning.
Download
Paper Nr: 53
Title:

PROCESS MODEL VALIDATION
Authors:

Andreas Speck, Soeren Witt, Sven Feja and Elke Pulvermueller
Abstract: Process and workflow models are typical means to describe the dynamic activities of a system. Therefore, it is of high interest to validate these models. Many kinds of (business) rules, best practices, patterns, legal regulations may serve as specifications which the models have to fulfill. An already established technique to validate models of dynamic activities is model checking. In model checking the requirements are expressed by temporal logic. Temporal logic allows describing temporal dependencies. The models to be verified by model checkers are automata. In this context the question is how to transform process or workflow models into automata and how to specify the temporal logic in the way that the semantic of the process models is considered sufficiently. In our paper we present three approach to transform process models to checkable automata. We use the example of ARIS Event-driven Process Chains. In particular, the third approach introduces specializers enabling semantic-rich requirement specifications. This reduces the gap between process models (consisting of different model element types) and verification models.
Download
Paper Nr: 56
Title:

A BUSINESS USE CASE DRIVEN METHODOLOGY: A STEP FORWARD
Authors:

Gabriele Cestra, Gaetanino Paolone, Eliseo Clementini, Gianluca Liguori and Paolino Di Felice
Abstract: The present contribution reshapes a recently proposed software methodology by giving up the top-down philosophy being part of it, to follow a strictly model-driven engineering approach. The ultimate goal of our research is to define a methodological proposal ensuring the continuity between business modeling, system modeling, design, and implementation. This lays the foundations for the automatic transformation process of the behavioral business model into a software model capable of meeting user needs.
Download
Paper Nr: 58
Title:

TOWARD SOFTWARE GOVERNANCE IN R&D PROJECT. Géant Case Study.
Authors:

Marek Lewandowski, Cezary Mazurek and Pawel Kedziora
Abstract: This paper presents motivation of introducing Software Governance activity into large R&D project, that has been already developed for several years. We present background of this activity, its structure and communication model. We will also present impact of the new activity on the whole project and describe expected results of this innovation. Introduction of the new activity has not been fully completed yet.
Download
Paper Nr: 64
Title:

SOFTWARE ENGINEERING SYSTEMS AS SERVICES USING A BUSINESS-FOCUSED SERVICE FRAMEWORK
Authors:

David Miller and Mark Woodman
Abstract: Investment in IT and software systems frequently fails to meet the expectations of the business customer. This has a consequentially negative impact on business performance and reduces the perception within the business of the value provided by systems suppliers. This has been a persistently stubborn problem for more than forty years even after decades of ‘product’ development. This position paper argues that for the likelihood of a successful business outcome to be increased we must first redefine our understanding of the ‘service’ concept and apply it more widely, including and embracing the software engineering aspects. This will improve concepts such as software systems engineering, IT service management, service performance, change management, alignment, governance and maturity.
Download
Paper Nr: 65
Title:

SCRUMPL - Software Product Line Engineering with Scrum
Authors:

Antonio Santos, Vicente Lucena and Vicente Lucena
Abstract: This paper presents the ScrumPL process, which combines the Software Product Line Engineering (SPLE) methodology and the agile method Scrum to develop Software Product Lines (SPL). This process uses the Requirements Engineering and Design sub-processes from both Domain and Application Engineering SPLE processes to create a reference architecture with reusable component descriptions. Those components are then added to a product backlog. Finally, the Scrum principles and lifecycle are launched to implement, test, change requirements and deliver products. A preliminary result is also presented: a software product line reference architecture and product backlog of an interactive TV navigation system.
Download
Paper Nr: 6
Title:

THE CONSOLIDATIONS FOLLOWING FROGLINGO, An Alternative to DBMS, Programming Language, Web Server, and File Systems
Authors:

Kevin H. Xu, Jingsong Zhang and Shelby Gao
Abstract: Froglingo is a unified solution for database management and programming language; an alternative to the traditional software technologies including DBMS, programming language, web server, and file system; and therefore the consolidations of the multi-component system architecture into a single component. The EP data model, Froglingo without variables, is a language equivalent to a class of total recursive functions. In this paper, we utilize the mathematical result to analyze the opportunity of the unification and the consolidations, and provide sample Froglingo expressions to confirm the opportunity.
Download
Paper Nr: 23
Title:

PROJECT MONITORING AND CONTROL IN MODEL-DRIVEN AND COMPONENT-BASED DEVELOPMENT OF EMBEDDED SYSTEMS : The CARMA Principle and Preliminary Results
Authors:

Rikard Land, Jan Carlson, Stig Larsson and Ivica Crnkovic
Abstract: This position paper describes how the combination of the Model-Driven Development (MDD) and Component-Based Software Engineering (CBSE) paradigms can support project monitoring and control, and project risk reduction. The core principle for this is articulated and named CARMA, and our research agenda and preliminary results are described. Through interviews, industry input, process simulation, tool implementation and pilot projects, and describing an extension of CMMI, we are exploring the CARMA principle in order to provide guidelines for MDD/CBSE projects.
Download
Paper Nr: 54
Title:

TOWARDS A GENERIC DESIGN FOR GENERAL-PURPOSE SENSOR NETWORK NODES (Position Paper)
Authors:

Stefan Gruner and Stefan Gruner
Abstract: The key to mature and efficient industrial software engineering is standardisation more than an aggressive struggle for innovation only for the sake of its own. This is assumption is also held for the area of sensor networks development, which is becoming an increasingly important field at the interface between software and hardware engineering. This short position paper proposes and outlines a generic design for the nodes of such sensor networks, which could be used in the future as the basis of almost any conceivable sensor network application. On such a basis of generic standardisation, the development of specific and particular sensor network applications will then be mainly a matter of hardware-independent programming with APIs, as it is already well known in the classical domain of operating systems in ordinary desktop PCs.
Download