2011 15th International Software Product Line Conference最新文献_第2页

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.49

M. Hinchey

{"title":"Families (of Products) in Space","authors":"M. Hinchey","doi":"10.1109/SPLC.2011.49","DOIUrl":"https://doi.org/10.1109/SPLC.2011.49","url":null,"abstract":"NASA is developing plans for innovative and novel approaches to future (unmanned) space exploration missions. Future missions involve sending spacecraft and robots to harsh environments, where resilience is necessary for the survival of the mission. In addition, distances and communication lead times between the spacecraft and Earth necessitate much of the mission operation being autonomous. We have been conducting research on the development of autonomous space exploration missions based on principles from Autonomic Computing (AC), whereby the mission is imbued with self-management capabilities. Such missions will involve several, rather than single, spacecraft, robots or other devices, operating in collaboration. We describe one such concept mission, ANTS (Autonomous Nano-Technology Swarm), which involves a number of sub-missions that are self-similar. Our work in this, and other future missions, has involved the use of techniques from AC for building in self-management, and ultimately self-governance. We have also explored the use of formal methods to gain confidence in the correct behavior of the mission. Since both the physical devices which will be used for exploration, and the software that is essential for their successful deployment, lend themselves to a product-line approach, we have been exploiting techniques from software product-line engineering, in particular Multi-Agent System Product Lines (MAS-PL) and Dynamic Software Product Lines (DSPL).","PeriodicalId":278787,"journal":{"name":"2011 15th International Software Product Line Conference","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131131725","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}

引用次数: 0

Product Line Engineering at Siemens -- Challenges and Success Factors: A Report on Industrial Experiences in Product Line Engineering 西门子的生产线工程——挑战与成功因素:生产线工程的工业经验报告

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.40

R. Achatz

引用次数: 2

From Requirements to Features: An Exploratory Study of Feature-Oriented Refactoring 从需求到特性:面向特性重构的探索性研究

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.52

R. Lopez-Herrejon, Leticia Montalvillo-Mendizabal, Alexander Egyed

{"title":"From Requirements to Features: An Exploratory Study of Feature-Oriented Refactoring","authors":"R. Lopez-Herrejon, Leticia Montalvillo-Mendizabal, Alexander Egyed","doi":"10.1109/SPLC.2011.52","DOIUrl":"https://doi.org/10.1109/SPLC.2011.52","url":null,"abstract":"More and more frequently successful software systems need to evolve into families of systems, known as Software Product Lines (SPLs), to be able to cater to the different functionality requirements demanded by different customers while at the same time aiming to exploit as much common functionality as possible. As a first step, this evolution demands a clear understanding of how the functional requirements map into the features of the original system. Using this knowledge, features can be refactored so that they are reused for building the new systems of the evolved SPL. In this paper we present our experience in refactoring features based on the requirements specifications of a small and a medium size systems. Our work identified eight refactoring patterns that describe how to extract the elements of features which were subsequently implemented using Feature Oriented Software Development (FOSD) a novel modularization paradigm whose driving goal is to effectively modularize features for the development of variable systems. We argue that the identification of refactoring patterns are a stepping stone towards automating Feature-Oriented Refactoring, and present some open issues that should be addressed to that avail.","PeriodicalId":278787,"journal":{"name":"2011 15th International Software Product Line Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128401495","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}

引用次数: 30

Feature-Based Customisation of Tool Environments for Model-Driven Software Development 模型驱动软件开发的工具环境的基于特征的定制

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.29

Christian Wende, U. Assmann, S. Zivkovic, Harald Kühn

引用次数: 5

A Toolset for Feature-Based Configuration Workflows 基于特性的配置工作流的工具集

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.41

E. Abbasi, A. Hubaux, P. Heymans

引用次数: 31

Governance and Cost Reduction through Multi-tier Preventive Performance Tests in a Large-Scale Product Line Development 在大型产品线开发中通过多层预防性性能测试进行治理和降低成本

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.38

S. Sinha, Thomas Dasch, R. Ruf

引用次数: 3

Experiences with Software Product Line Development in Risk Management Software 有风险管理软件产品线开发经验

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.30

Gerard Quilty, M. Cinnéide

引用次数: 13

Abstract Features in Feature Modeling 特征建模中的抽象特征

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.53

Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund

{"title":"Abstract Features in Feature Modeling","authors":"Thomas Thüm, Christian Kästner, Sebastian Erdweg, Norbert Siegmund","doi":"10.1109/SPLC.2011.53","DOIUrl":"https://doi.org/10.1109/SPLC.2011.53","url":null,"abstract":"A software product line is a set of program variants, typically generated from a common code base. Feature models describe variability in product lines by documenting features and their valid combinations. In product-line engineering, we need to reason about variability and program variants for many different tasks. For example, given a feature model, we might want to determine the number of all valid feature combinations or compute specific feature combinations for testing. However, we found that contemporary reasoning approaches can only reason about feature combinations, not about program variants, because they do not take abstract features into account. Abstract features are features used to structure a feature model that, however, do not have any impact at implementation level. Using existing feature-model reasoning mechanisms for program variants leads to incorrect results. Hence, although abstract features represent domain decisions that do not affect the generation of a program variant. We raise awareness of the problem of abstract features for different kinds of analyses on feature models. We argue that, in order to reason about program variants, abstract features should be made explicit in feature models. We present a technique based on propositional formulas that enables to reason about program variants rather than feature combinations. In practice, our technique can save effort that is caused by considering the same program variant multiple times, for example, in product-line testing.","PeriodicalId":278787,"journal":{"name":"2011 15th International Software Product Line Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133466326","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}

引用次数: 139

A Deployment Infrastructure for Product Line Models and Tools 产品线模型和工具的部署基础结构

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.23

Michael Vierhauser, G. Holl, Rick Rabiser, P. Grünbacher, Martin Lehofer, Uwe Stürmer

引用次数: 12

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking 验证软件产品线的非功能属性:采用参数模型检验的有效方法

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI: 10.1109/SPLC.2011.33

C. Ghezzi, Amir Molzam Sharifloo

引用次数: 28