Proceedings of the 20th International Systems and Software Product Line Conference最新文献_第4页

Supporting product configuration in application engineering using EXConfig 在应用工程中使用EXConfig支持产品配置

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2962727

Bo Zhang, Martin Becker

{"title":"Supporting product configuration in application engineering using EXConfig","authors":"Bo Zhang, Martin Becker","doi":"10.1145/2934466.2962727","DOIUrl":"https://doi.org/10.1145/2934466.2962727","url":null,"abstract":"Nowadays systems are often developed following the product line approach in order to reduce time to market, achieve lower cost, and ensure high quality. To this end, common and variable requirements of product variants are specified as features in a feature model, so that each product variant can be configured and customized along the development lifecycle. While developers in family engineering tend to use variability management tools (e.g., pure::variants) for feature modeling and developing core assets for reuse, such sophisticated tools might be too complicated and inappropriate for product configuration in application engineering. In order to solve this challenge, this paper introduces an Excel-based product configurator called EXConfig, which focuses on product line features in the problem space and supports staged product configuration in application engineering. This tool can be easily customized and integrated with other system design tools or variability management tools, which connects application engineering and family engineering in development. The usage of this tool and its integration have been validated several times in industry.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125038587","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}

引用次数: 1

Experiences from reengineering and modularizing a legacy software generator with a projectional language workbench 使用投影语言工作台重新设计和模块化遗留软件生成器的经验

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2962733

Max Lillack, T. Berger, R. Hebig

{"title":"Experiences from reengineering and modularizing a legacy software generator with a projectional language workbench","authors":"Max Lillack, T. Berger, R. Hebig","doi":"10.1145/2934466.2962733","DOIUrl":"https://doi.org/10.1145/2934466.2962733","url":null,"abstract":"We present a case study of migrating a legacy language infrastructure and its codebase to a projectional language workbench. Our subject is the generator tool ADS used for generating COBOL code for critical software systems. We decompose the ADS language into smaller sub-languages, which we implement as individual DSLs in the projectional language workbench JetBrains Meta Programming System (MPS). Our focus is on ADS' preprocessor sub-language, used to realize static variability by conditionally including or parameterizing target code. The modularization of ADS supports future extensions and tailoring the language infrastructure to the needs of individual customers. We re-implement the generation process of target code as chained model-to-model and model-to-text transformations. For migrating existing ADS code, we implement an importer relying on a parser in order to create a model in MPS. We validate the approach using an ADS codebase for handling car registrations in the Netherlands. Our case study shows the feasibility and benefits (e.g., language extensibility and modern editors) of the migration, but also smaller caveats (e.g., small syntax adaptations, the necessity of import tools, and providing training to developers). Our experiences are useful for practitioners attempting a similar migration of legacy generators to a projectional language workbench.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"74 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123430496","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}

引用次数: 2

Test-driven semantical similarity analysis for software product line extraction 面向软件产品线提取的测试驱动语义相似度分析

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934483

J. Richenhagen, Bernhard Rumpe, A. Schloßer, Christoph Schulze, Kevin Thissen, Michael von Wenckstern

{"title":"Test-driven semantical similarity analysis for software product line extraction","authors":"J. Richenhagen, Bernhard Rumpe, A. Schloßer, Christoph Schulze, Kevin Thissen, Michael von Wenckstern","doi":"10.1145/2934466.2934483","DOIUrl":"https://doi.org/10.1145/2934466.2934483","url":null,"abstract":"Software product line engineering rests upon the assumption that a set of products share a common base of similar functionality. The correct identification of similarities between different products can be a time-intensive task. Hence, this paper proposes an automated semantical similarity analysis supporting software product line extraction and maintenance. Under the assumption of an already identified compatible interface, the degree of semantical similarity is identified based on provided test cases. Therefore, the analysis can also be applied in a test-driven development. This is done by translating available test sequences for both components into two I/O extended finite automata and performing an abstraction of the defined behavior until a simulation relation is established. The test-based approach avoids complexity issues regarding the state space explosion problem, a common issue in model checking. The proposed approach is applied on different variants and versions of industrially used software components provided by an automotive supplier to demonstrate the method's applicability.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124428888","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}

引用次数: 10

Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing 利用所有特征模型配置的枚举:分布式计算的新视角

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934478

J. Galindo, M. Acher, Juan M. Tirado, Cristian Vidal, B. Baudry, David Benavides

引用次数: 15

Multi-view modeling and automated analysis of product line variability in systems engineering 系统工程中产品线可变性的多视图建模与自动化分析

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2946044

Damir Nesic, M. Nyberg

{"title":"Multi-view modeling and automated analysis of product line variability in systems engineering","authors":"Damir Nesic, M. Nyberg","doi":"10.1145/2934466.2946044","DOIUrl":"https://doi.org/10.1145/2934466.2946044","url":null,"abstract":"Product Lines (PL) in the systems engineering (SE) domain are one of the largest and most complex ones. The sheer number of different products that can be derived from PL points out to the scale of the challenge that Product Line Engineering (PLE) faces. Various development artifacts describe PL but due to their diversity, variability modeling across PL is a challenging task. Moreover, this complexity is a major obstacle for achieving traceability across PL which is especially important for product verification. In order to support systems engineering by establishing traceability across PL and aid verification planning we propose Multi-View Variability Model (MVVM). MVVM introduces a set of variability models that represent variability in various development artifacts, e.g. architecture, requirements etc. and corresponding inter-model constraints. We provide a formalization of MVVM and perform a transformation of the MVVM model to a Constraint Satisfiability Problem (CSP) where we formulate queries for the CSP model in order to extract information about variability dependencies among MVVM views. Throughout the paper we use a real system from the automotive domain as the working example in order to illustrate the introduced concepts.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"76 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123719980","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}

引用次数: 9

Using machine learning to infer constraints for product lines 使用机器学习来推断产品线的约束

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934472

Paul Temple, J. Galindo, M. Acher, J. Jézéquel

{"title":"Using machine learning to infer constraints for product lines","authors":"Paul Temple, J. Galindo, M. Acher, J. Jézéquel","doi":"10.1145/2934466.2934472","DOIUrl":"https://doi.org/10.1145/2934466.2934472","url":null,"abstract":"Variability intensive systems may include several thousand features allowing for an enormous number of possible configurations, including wrong ones (e.g. the derived product does not compile). For years, engineers have been using constraints to a priori restrict the space of possible configurations, i.e. to exclude configurations that would violate these constraints. The challenge is to find the set of constraints that would be both precise (allow all correct configurations) and complete (never allow a wrong configuration with respect to some oracle). In this paper, we propose the use of a machine learning approach to infer such product-line constraints from an oracle that is able to assess whether a given product is correct. We propose to randomly generate products from the product line, keeping for each of them its resolution model. Then we classify these products according to the oracle, and use their resolution models to infer cross-tree constraints over the product-line. We validate our approach on a product-line video generator, using a simple computer vision algorithm as an oracle. We show that an interesting set of cross-tree constraint can be generated, with reasonable precision and recall.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116362991","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}

引用次数: 52

When 150% is too much: supporting product centric viewpoints in an industrial product line 当150%太多时:支持工业产品线中以产品为中心的观点

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934493

Danilo Beuche, M. Schulze, Maurice Duvigneau

引用次数: 12

RiPLE-HC: visual support for features scattering and interactions ripple - hc:对特征分散和交互的可视化支持

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2962728

A. R. Santos, I. Machado, E. Almeida

引用次数: 2

Extending feature models with relative cardinalities 用相对基数扩展特征模型

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934475

G. Sousa, Walter Rudametkin, L. Duchien

{"title":"Extending feature models with relative cardinalities","authors":"G. Sousa, Walter Rudametkin, L. Duchien","doi":"10.1145/2934466.2934475","DOIUrl":"https://doi.org/10.1145/2934466.2934475","url":null,"abstract":"Feature modeling is widely used to capture and manage commonalities and variabilities in software product lines. Cardinality-based feature models are used when variability applies not only to the selection or exclusion of features but also to the number of times a feature can be included in a product. Feature cardinalities are usually considered to apply in either a local or global scope. However, we have identified that these interpretations are insufficient to capture the variability of cloud environments. In this paper, we redefine cardinality-based feature models to allow multiple relative cardinalities between features and we discuss the effects of relative cardinalities on feature modeling semantics, consistency and cross-tree constraints. To evaluate our approach we conducted an analysis of relative cardinalities in four cloud computing providers. In addition, we developed tools for reasoning on feature models with relative cardinalities and performed experiments to verify the performance and scalability of the approach. The results from our study indicate that extending feature models with relative cardinalities is feasible and improves variability modeling, particularly in the case of cloud environments.","PeriodicalId":128559,"journal":{"name":"Proceedings of the 20th International Systems and Software Product Line Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130714435","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}

引用次数: 7

Comparing algorithms for efficient feature-model slicing 高效特征模型切片算法的比较

Proceedings of the 20th International Systems and Software Product Line Conference Pub Date : 2016-09-16 DOI: 10.1145/2934466.2934477

S. Krieter, R. Schröter, Thomas Thüm, W. Fenske, G. Saake

引用次数: 23