Deepak Dhungana, Andreas A. Falkner, Alois Haselböck
{"title":"Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction","authors":"Deepak Dhungana, Andreas A. Falkner, Alois Haselböck","doi":"10.1109/SEAA.2011.24","DOIUrl":"https://doi.org/10.1109/SEAA.2011.24","url":null,"abstract":"Existing feature modeling approaches and tools are based on classical constraint satisfaction which consists of a fixed set of variables and a fixed set of constraints on these variables. In many applications however, features may not only be selected but cloned so that the numbers of involved variables and constraints are not known from the beginning. We present a novel configuration approach for corresponding cardinality-based feature models based on the formalism of generative constraint satisfaction which - in extension to many existing approaches - is able to handle constraints in the context of multiple (cloned) features (e.g., by automatically creating new feature clones on the fly).","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122559360","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Framework for Systematic Evaluation of Process Improvement Priorities","authors":"T. Birkhölzer, C. Dickmann, J. Vaupel","doi":"10.1109/SEAA.2011.52","DOIUrl":"https://doi.org/10.1109/SEAA.2011.52","url":null,"abstract":"Each process improvement project must prioritize and select the areas or aspects to focus on. Moreover, each such selection needs to be communicated, motivated, and justified to all stakeholders (management as well as participating or affected parties). For both challenges, a conceptual framework and tool set is presented in this paper which is based on a quantitative model of the relations between improvement efforts and outcomes. These relations are represented as weighted dependency graph with extensions for time dynamics as well as uncertainties. The graph can be used for a goal-driven search of strategies as well as for simulation analysis of specific scenarios. The development of the graph basically requires a systematic documentation of the expectations or experiences in the respective context. The framework is outlined at the example of agile process fragments based on a knowledge base of evidential data.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133276835","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An Adaptive Control Model for Non-functional Feature Interactions","authors":"C. Prehofer","doi":"10.1109/SEAA.2011.81","DOIUrl":"https://doi.org/10.1109/SEAA.2011.81","url":null,"abstract":"Many systems, especially distributed embedded systems, have very strong emphasis on non-functional properties, which are often cross-cutting and difficult to capture in a modular way. Here, we consider non-functional feature interactions, which occur if two features show unexpected behavior regarding non-functional properties. The goal is to handle non-functional properties and interactions in a modular and flexible way on a separate control layer. On this control layer, we can adapt control components to different feature interactions. We use state charts to describe control models and use state chart refinement to make interactions explicit. We present our approach by two examples with several non-functional feature interactions and argue that the control layer can address these. The main advantages are modular control of non-functional properties and explicit modeling of non-functional feature interactions on a separate control layer.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114834225","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Panagiota Chatzipetrou, L. Angelis, Sebastian Barney, C. Wohlin
{"title":"Software Product Quality in Global Software Development: Finding Groups with Aligned Goals","authors":"Panagiota Chatzipetrou, L. Angelis, Sebastian Barney, C. Wohlin","doi":"10.1109/SEAA.2011.67","DOIUrl":"https://doi.org/10.1109/SEAA.2011.67","url":null,"abstract":"The development of a software product in an organization involves various groups of stakeholders who may prioritize the qualities of the product differently. This paper presents an empirical study of 65 individuals in different roles and in different locations, including on shoring, outsourcing and off shoring, prioritizing 24 software quality aspects. Hierarchical cluster analysis is applied to the prioritization data, separately for the situation today and the ideal situation, and the composition of the clusters, regarding the distribution of the inherent groupings within each of them, is analyzed. The analysis results in observing that the roles are not that important in the clustering. However, compositions of clusters regarding the onshore-offshore relationships are significantly different, showing that the offshore participants have stronger tendency to cluster together. In conclusion, stakeholders seem to form clusters of aligned understanding of priorities according to personal and cultural views rather than their roles in software development.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124931313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Application Lifecycle Management as Infrastructure for Software Process Improvement and Evolution: Experience and Insights from Industry","authors":"Hermann Lacheiner, R. Ramler","doi":"10.1109/SEAA.2011.51","DOIUrl":"https://doi.org/10.1109/SEAA.2011.51","url":null,"abstract":"Application Lifecycle Management (ALM) is widely promoted by tool vendors and ALM solutions have attracted the attention of many software developing companies. In this paper we describe the introduction of an ALM solution for software development in a large industrial manufacturing company. The introduction is complemented by several small-scale process improvement initiatives. Thereby the ALM solution was turned on itself by using the tool for the tool evaluation, the introduction as well as the process improvement activities. Based on this experience we explore whether the features provided by ALM for software development are also an effective utility for software process management. The paper shows how the ALM solution was applied for process development, process documentation, process implementation and process monitoring. We found that the concepts underlying ALM were suitable to support these activities and, furthermore, endorsed the view that software processes are software too.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"265 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122468687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Scoped Memory in RTSJ Applications Dynamic Analysis of Memory Consumption","authors":"H. Hamza, S. Counsell","doi":"10.1109/SEAA.2011.42","DOIUrl":"https://doi.org/10.1109/SEAA.2011.42","url":null,"abstract":"Scoped memory in Real-time Specification for Java achieves a level of predictability not found in applications that use the garbage collection. However, it creates new challenges for developers. First, the reference rules between scopes constrain the design of the application's memory model. Second, deciding on the appropriate number of scopes and which objects should be allocated into those scopes are not straightforward tasks. This paper presents an empirical study of this memory model using a simulation of a railway control system executed in Sun's RTS 2.2. Five different scoped memory design models were implemented in the case study and memory consumption for each was measured. Results showed that the number of scopes did not always indicate a good memory footprint, choosing the right objects/threads to be allocated in the right scopes is an important factor to be considered.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"161 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120929483","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Formal Framework for Retainment Patterns for Trace-Based Model Transformations","authors":"Thomas Goldschmidt, A. Uhl","doi":"10.1109/SEAA.2011.23","DOIUrl":"https://doi.org/10.1109/SEAA.2011.23","url":null,"abstract":"Model-to-model (M2M) transformations play an important role within model-driven development. Modern M2Mapproaches support incremental updates to the target model according to changes in the source model(s). Bidirectional transformation approaches even allow to incrementally translate target model changes back to the source model. However, in some cases, e.g., if the target model should be refined either manually or automatically, it is important that target model changes are not overwritten if the original transformation is re-executed. There is currently only weak support for this kind of retainment by transformation engines. However, in many transformation engines a transformation trace is available which keeps record of a transformation's actions. In this paper, we exploit this information and define patterns which allow transformation engineers to trim transformations to facilitate the handling of target model changes. We describe a formal framework which serves as basis for implementing these retainment patterns.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122373581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Studying the Impact of Design Patterns on the Performance Analysis of Service Oriented Architecture","authors":"Nariman Mani, D. Petriu, C. Woodside","doi":"10.1109/SEAA.2011.13","DOIUrl":"https://doi.org/10.1109/SEAA.2011.13","url":null,"abstract":"Design patterns for Service Oriented Architecture (SOA) suggest solutions for architectural, design and implementation problems, but these changes also affect performance and other non-functional properties. A performance model can be generated from a SOA software model (plus some implementation and deployment advice) and used to study these impacts. The paper proposes to propagate the change in the software model due to applying a given pattern into the corresponding change in the performance model by an incremental transformation. The software model and the patterns are described using UML extended with the profiles SoaML (for service-oriented system design) and MARTE (for performance annotations). The application of a pattern is described by application rules specified by the user. Systematic (but not, at this point, automated) incremental transformations are explored and evaluated for effectiveness on case study examples.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126789071","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis","authors":"B. Gallina, S. Punnekkat","doi":"10.1109/SEAA.2011.80","DOIUrl":"https://doi.org/10.1109/SEAA.2011.80","url":null,"abstract":"To architect dependable distributed component-based, transactional systems, failures as well as their mitigation behaviors must be analyzed. Analysis helps in planning if, where and which mitigation means are needed to increase quality, by reducing the failures that threaten the system's dependability. Fault Propagation and Transformation Calculus (FPTC) is a technique for automatically calculating the failure behavior of the entire system from the failure behavior of its components [1]. FPTC, however, considers few failure types and offers no support to analyse the mitigation behaviour. To overcome these limitations and support the mitigation's planning, we introduce a new formalism, called FI4FA. FI4FA focuses on failures avoidable through transaction-based mitigations. FI4FA extends FPTC by enabling the analysis of I4 (incompletion, inconsistency, interference and impermanence) failures as well as the analysis of the mitigations, needed to guarantee completion, consistency, isolation and durability. We also illustrate the usage of FI4FA on a set of examples.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125862163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Matthias Keller, Dirk Meister, A. Brinkmann, C. Terboven, C. Bischof
{"title":"eScience Cloud Infrastructure","authors":"Matthias Keller, Dirk Meister, A. Brinkmann, C. Terboven, C. Bischof","doi":"10.1109/SEAA.2011.38","DOIUrl":"https://doi.org/10.1109/SEAA.2011.38","url":null,"abstract":"Grid computing enables access to high performance computing resources by offering unified interfaces to compute facilities of distributed compute centers. These compute centers are limited in personal capacity and in support capabilities for different communities/VOs. This work presents a solution to this management problem by facilitating the natural interface introduced by virtualization to separate hardware and application provisioning. Any eScience community may provide preconfigured applications within virtual machine images and compute centers run these without having to maintain applications. This is similar to the Infrastructure as a Service and Software as a Service known from cloud computing. Additionally, in contrast to the state of the art in grid computing, we propose a scalable process to maintain compute resources for scientific users, including the definition of a chain of trust between users and compute centers, which simplifies the addition of communities and resources. As a result, this paper lays the foundation for a next-generation eScience Cloud improving the accessibility of compute resources for research and industry.","PeriodicalId":107972,"journal":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129098185","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}