Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B最新文献

Product-line analysis cookbook: a classification system for complex analysis toolchains 产品线分析指南:复杂分析工具链的分类系统

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473951

D. Ferreira, Vasil L. Tenev, Martin Becker

{"title":"Product-line analysis cookbook: a classification system for complex analysis toolchains","authors":"D. Ferreira, Vasil L. Tenev, Martin Becker","doi":"10.1145/3461002.3473951","DOIUrl":"https://doi.org/10.1145/3461002.3473951","url":null,"abstract":"Adopting Product Line Engineering (PLE) approaches in the context of software-intensive systems reduces overall development and maintenance costs, reduces time to market and leads to an overall improvement in product quality. The Software and System Product Line (SPL) community has provided a large number of different analysis approaches and tools, which were developed in different contexts, answer different questions, and can contribute to the fulfillment of different analysis goals. Typically, these analysis tools are initially developed as part of a research study, where they serve a specific purpose, e. g. for investigating the use of a new technology, or to demonstrate the transfer of methods from other fields. Generally, such purpose is aligned with a specific, but not explicitly stated, high-level goal. The pursuit of these goals requires holistic approaches, i. e. integrated toolchains and classification of analyses, which are documented as a centralized collection of wisdom. Therefore, we propose a classification system which describes existing analyses and reveals possible combinations, i. e. integrated toolchains, and provide first examples. This method supports the search for toolchains which address complex industrial needs. With the support of the SPL community, we hope to collaboratively document existing analyses and corresponding goals on an open platform.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125257551","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

Static analysis and family-based model checking of featured transition systems with VMC 基于VMC的特征过渡系统静态分析及基于家族的模型检验

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473071

M. T. Beek, F. Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt

引用次数: 3

HAnS: IDE-based editing support for embedded feature annotations HAnS:嵌入式特性注释的基于ide的编辑支持

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473072

Johan Martinson, Herman Jansson, M. Mukelabai, T. Berger, Alexandre Bergel, Truong Ho-Quang

{"title":"HAnS: IDE-based editing support for embedded feature annotations","authors":"Johan Martinson, Herman Jansson, M. Mukelabai, T. Berger, Alexandre Bergel, Truong Ho-Quang","doi":"10.1145/3461002.3473072","DOIUrl":"https://doi.org/10.1145/3461002.3473072","url":null,"abstract":"When developers maintain or evolve software, they often need to know the locations of features. This proves challenging when the feature locations are not documented, when the code was written by different developers who may have left the organization, or when the developer's memory of the implementation has faded. Automated feature location techniques are hard to adopt in practice, especially since they boast too many false positives. To address these challenges, embedded feature annotations have been proposed to allow developers to trace features in code during development with minimal effort. However, tool support is needed for developers to effectively record and use these annotations. We propose HAnS as a tool to meet this need; it is implemented as an IntelliJ IDE plugin to support developers seamlessly record feature locations while they write their code. HAnS supports developers when mapping features to software assets, such as files and code fragments, with code completion and syntax highlighting. It also provides functionality to browse feature definitions and locations, as well as refactor features. A demo video is available at https://youtu.be/cx_-ZshHLgA.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124821171","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}

引用次数: 4

A spaCy-based tool for extracting variability from NL requirements 一个基于空间的工具，用于从NL需求中提取可变性

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473074

A. Fantechi, S. Gnesi, Samuele Livi, L. Semini

引用次数: 6

Optimisation for the product configuration system of Renault: towards an integration of symmetries 优化雷诺的产品配置系统:朝着一体化的对称

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473948

Hao Xu, S. Baarir, T. Ziadi, L. Hillah, Siham Essodaigui, Y. Bossu

引用次数: 2

Iterative development and changing requirements: drivers of variability in an industrial system for veterinary anesthesia 迭代开发和需求变化:兽医麻醉工业系统可变性的驱动因素

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473950

Elias Kuiter, J. Krüger, G. Saake

{"title":"Iterative development and changing requirements: drivers of variability in an industrial system for veterinary anesthesia","authors":"Elias Kuiter, J. Krüger, G. Saake","doi":"10.1145/3461002.3473950","DOIUrl":"https://doi.org/10.1145/3461002.3473950","url":null,"abstract":"Developing a safety-critical embedded system poses a high risk, since such systems must usually comply with (potentially changing) rigorous standards set by customers and legal authorities. To reduce risk and cope with changing requirements, manufacturers of embedded devices increasingly use iterative development processes and prototyping both for hard- and firmware. However, hard- and firmware development are difficult to align in a common process, because hardware development cycles are typically longer and more expensive. Thus, seamlessly transitioning software to new hardware revisions and reusing old hardware revisions can be problematic. In this paper, we describe an industrial case study for veterinary anesthesia in which we also faced this problem. To solve it, we introduced preprocessor-based variability to create a small configurable system that could flexibly adapt to our needs. We discuss our solution, alternative solutions for hardware evolution, as well as their pros and cons. Our experiences generalize an interesting evolution scenario for systems that are planned and delivered as a single system, but exhibited variability to cope with problems during agile development processes.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132958831","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

BURST 破裂

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473070

M. Acher, Gilles Perrouin, Maxime Cordy

引用次数: 7

Product-lining the elinvar wealthtech microservice platform elinar财富科技微服务平台产品上线

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473947

Marcus Pinnecke

{"title":"Product-lining the elinvar wealthtech microservice platform","authors":"Marcus Pinnecke","doi":"10.1145/3461002.3473947","DOIUrl":"https://doi.org/10.1145/3461002.3473947","url":null,"abstract":"Software product lining is the act of providing different but related software products under the same brand, known as a software product line (SPL). As engineering, management and validation of SPLs is far from trivial, special solutions for software product line engineering (SPLE) have a continuous momentum in both academic and industry. In general, it is hard to judge when to reasonably favor SPLE over alternative solutions that are more common in the industry. In this paper, we illustrate how we as Elinvar manage variability within our WealthTech Platform as a Service (PaaS) at different granularity levels, and discuss methods for SPLE in this context. More in detail, we share our techniques and concepts to address configuration management, and show how we manage a single microservice SPL including inter-service communication. Finally, we provide insights into platform solutions by means of packages for our clients. We end with a discussion on SPLE techniques in context of service SPLs and our packaging strategy. We conclude that while we are good to go with industry-standard approaches for microservice SPLs, the variability modeling and analysis advantages within SPLE is promising for our packaging strategy.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129507677","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

Automated derivation of variants in manufacturing systems design 制造系统设计中变体的自动推导

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473942

Gökhan Kahraman, L. Cleophas

{"title":"Automated derivation of variants in manufacturing systems design","authors":"Gökhan Kahraman, L. Cleophas","doi":"10.1145/3461002.3473942","DOIUrl":"https://doi.org/10.1145/3461002.3473942","url":null,"abstract":"The Logistics Specification and Analysis Tool (LSAT) is a modelbased engineering tool used for design-space exploration of flexible manufacturing systems. LSAT provides domain specific languages to model a manufacturing system and means to analyze the productivity characteristics of such a system. In LSAT, developers can specify a system and model its deterministic operations as a set of activities. Given a set of activities, it is possible to construct an individual activity sequence that represents one valid system execution, and with minor variations in the specification individual systems can be obtained. To avoid modeling each variant separately, which means cloning and maintaining the common parts, new functionality is needed to deal with the variability of system specifications. In this study, we aim to establish integration between LSAT and product line engineering techniques. Specifically, we provide a realization of a toolchain including variability representation of LSAT realization artifacts and automated variant derivation for the LSAT model variants. Delta modeling, a transformational variability realization mechanism, is employed to model the variability within LSAT realization artifacts. Using the toolchain, we develop an industry-related case for a product line, the so called Extended Twilight System, a Cyber Physical System (CPS) inspired by the CPSs of our industrial partner.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121277692","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}

引用次数: 6

STARS: software technology for adaptable and reusable systems STARS:用于适应性和可重用系统的软件技术

Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B Pub Date : 2021-09-06 DOI: 10.1145/3461002.3473068

E. Santos

{"title":"STARS: software technology for adaptable and reusable systems","authors":"E. Santos","doi":"10.1145/3461002.3473068","DOIUrl":"https://doi.org/10.1145/3461002.3473068","url":null,"abstract":"Dynamic Software Product Lines (DSPLs) engineering implements self-adaptive systems by dynamically binding or unbinding features at runtime according to a feature model. However, these features may interact in unexpected and undesired ways leading to critical consequences for the DSPL. Moreover, (re)configurations may negatively affect the runtime system's architectural qualities, manifesting architectural bad smells. These issues are challenging to detect due to the combinatorial explosion of the number of interactions amongst features. As some of them may appear at runtime, we need a runtime approach to their analysis and mitigation. This thesis introduces the Behavioral Map (BM) formalism that captures information from different sources (feature model, code) to automatically detect these issues. We provide behavioral map inference algorithms. Using the Smart Home Environment (SHE) as a case study, we describe how a BM is helpful to identify critical feature interactions and architectural smells. Our preliminary results already show promising progress for both feature interactions and architectural bad smells identification at runtime.","PeriodicalId":416819,"journal":{"name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","volume":"341 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116478235","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