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

Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models 重用你最喜欢的分析框架来处理产品线模型的工作流

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608983

Logan Murphy, Alessio Di Sandro, Ramy I. Shahin, M. Chechik

引用次数: 0

Sixth International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2023) 第六届软件密集型系统的可变性和进化国际研讨会(VariVolution 2023)

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3609003

Sandra Greiner, Xhevahire Têrnava, Kristof Meixner, S. Krieter

引用次数: 0

Quantum Computing for Feature Model Analysis: Potentials and Challenges 特征模型分析的量子计算:潜力与挑战

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608971

Domenik Eichhorn, T. Pett, T. Osborne, Ina Schaefer

{"title":"Quantum Computing for Feature Model Analysis: Potentials and Challenges","authors":"Domenik Eichhorn, T. Pett, T. Osborne, Ina Schaefer","doi":"10.1145/3579027.3608971","DOIUrl":"https://doi.org/10.1145/3579027.3608971","url":null,"abstract":"Feature modeling is a technique to model the variability of configurable systems. When working with feature models, it is possible to analyze them, for instance, by counting the number of valid configurations, searching feature model anomalies, or creating samples of configurations for testing. Classical feature model analysis techniques are based on solving algorithmic problems such as boolean satisfiability, satisfiability modulo theories, or integer linear programming. Existing analysis approaches provide satisfactory solutions for small and medium-sized problem instances, but scaling issues are observed for large-sized feature models. Quantum computers provide up to superpolynomial speedups for specific algorithmic problems and have the potential to solve those scaling issues. This paper analyzes the algorithmic techniques used in classical product line analysis and identifies potentials and challenges for quantum speedups. Our findings show that quantum algorithms like QAOA and Grover have the potential to speed up SAT and ILP-based feature model analysis techniques, but only after additional improvements in quantum hardware have been made.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115811507","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

A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering 富变元系统工程可视化概念与工具的比较

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608986

Siyue Chen, L. Cleophas, J. Krüger

{"title":"A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering","authors":"Siyue Chen, L. Cleophas, J. Krüger","doi":"10.1145/3579027.3608986","DOIUrl":"https://doi.org/10.1145/3579027.3608986","url":null,"abstract":"Software product-line engineering is concerned with developing a set of similar, yet customized, software systems that share a common codebase. To develop such a variant-rich system, various development processes, techniques, and tools have been studied in research and are used in practice. Specifically, to help developers manage the complexity of developing large-scale variant-rich systems, researchers have proposed visualizations to visually present different properties of such systems and their engineering---such as feature models, configurations, the similarity of variants, or process traces. Two recent mapping studies have systematically elicited the state-of-the-art on such visualizations, but neither of them provides a comparative analysis of the underlying visualization concepts and tools. In this paper, we report a qualitative meta-analysis of the 64 papers that we primarily selected from these two mapping studies. Advancing on the previous studies, we compare the use cases, pros, cons, and relations between visualization concepts and tools used with respect to engineering variant-rich systems. Our results provide insights---orthogonal to those from the mapping studies---regarding the purposes for which visualization concepts are used and the tools that are available to implement these concepts. The overview we provide can help researchers as well as practitioners decide to use specific established visualization concepts or design new ones, and identify tools that can help them to implement these.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130876690","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

Managing Cyber-Physical Production Systems Variability using V4rdiac: Industrial Experiences 使用v4radiac管理信息物理生产系统的可变性:工业经验

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608994

H. Fadhlillah, A. M. G. Fernández, Rick Rabiser, Alois Zoitl

{"title":"Managing Cyber-Physical Production Systems Variability using V4rdiac: Industrial Experiences","authors":"H. Fadhlillah, A. M. G. Fernández, Rick Rabiser, Alois Zoitl","doi":"10.1145/3579027.3608994","DOIUrl":"https://doi.org/10.1145/3579027.3608994","url":null,"abstract":"Cyber-Physical Production Systems (CPPSs) are highly robust and versatile production systems that utilize diverse hardware components through control software. Employing a systematic variability management approach for developing variants of control software can reduce cost and time-to-market to build such complex systems. However, employing this approach in the CPPS domain is challenging. Engineering CPPSs require multidisciplinary engineering knowledge (e.g., process, signal, mechanical). Knowledge about CPPS variability is thus typically scattered across diverse engineering artifacts. Also, variability knowledge is usually not documented explicitly but rather tacit knowledge of mostly senior engineers. Furthermore, control software is commonly implemented using a graphical Domain-Specific Modeling Language (DSML) which only provides minimal support to express variability. This paper describes our experiences dealing with these challenges in an industrial context using a multidisciplinary variability management approach called Variability for 4diac (V4rdiac). V4rdiac is an integrated approach that allows CPPS engineers to conduct stepwise product configuration based on heterogeneous variability models from multiple engineering disciplines. V4rdiac also provides a mechanism to automatically generate control software based on a set of selected configuration options. We evaluate how V4rdiac implements and manages CPPS control software variants in the metallurgical production plant domain. We describe the benefits and lessons learned from using V4rdiac in this domain based on feedback from industrial practitioners.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130956885","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

VariantInc: Automatically Pruning and Integrating Versioned Software Variants VariantInc:自动修剪和集成版本化的软件变体

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608984

S. Krieter, J. Krüger, Thomas Leich, Gunter Saake

{"title":"VariantInc: Automatically Pruning and Integrating Versioned Software Variants","authors":"S. Krieter, J. Krüger, Thomas Leich, Gunter Saake","doi":"10.1145/3579027.3608984","DOIUrl":"https://doi.org/10.1145/3579027.3608984","url":null,"abstract":"Developers use version-control systems and software-hosting platforms to manage their software systems. They rely on the provided branching and forking mechanisms to implement new features, fix bugs, and develop customized system variants. A particular problem arises when forked variants are not re-integrated (i.e., merged), but kept and co-evolved as individual systems. This can cause maintenance overheads, due to change propagation and limitations in simultaneously managing variations in space (variants) and time (revisions). Thus, most organizations decide to integrate their set of variants into a single platform at some point, and several techniques have been proposed to semi-automate such an integration. However, existing techniques usually consider only a single revision of each variant and do not merge the revision histories, disregarding that not only variants (i.e., configuring the features of the system) but also revisions (i.e., checking out specific versions of the features) are important. We propose an automated technique, VariantInc, for analyzing, pruning, and integrating variants of a system that also merges the revision history of each variant into the resulting platform (i.e., using presence conditions). To validate VariantInc, we employed it on 160 open-source C systems of various sizes (i.e., number of forks, revisions, source code). The results show that VariantInc works as intended, and allows developers or researchers to automatically integrate variants into a platform as well as to perform software analyses.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125781105","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

Development and Evolution of Software Product Lines Driven by Stakeholder Beliefs 由利益相关者信念驱动的软件产品线的开发与演变

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608975

Lola Burgueño, J. Horcas, J. Kienzle

引用次数: 0

On Programming Variability with Large Language Model-based Assistant 基于大型语言模型助手的程序可变性研究

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608972

M. Acher, J. Duarte, J. Jézéquel

引用次数: 3

Family-based model checking of fMultiLTL properties 基于家族的fMultiLTL属性模型检查

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608976

Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay

引用次数: 0

Approaching Pattern Catalogues for Variability Realization in Model-Based Systems and Software Engineering 基于模型的系统和软件工程中可变性实现的模式目录方法

Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A Pub Date : 2023-08-28 DOI: 10.1145/3579027.3608997

Andreas Pollom, Martin Becker, Philippe Barbie, M. Andres, Robert Hellebrandt, Shubha Kikkeri Tummala

{"title":"Approaching Pattern Catalogues for Variability Realization in Model-Based Systems and Software Engineering","authors":"Andreas Pollom, Martin Becker, Philippe Barbie, M. Andres, Robert Hellebrandt, Shubha Kikkeri Tummala","doi":"10.1145/3579027.3608997","DOIUrl":"https://doi.org/10.1145/3579027.3608997","url":null,"abstract":"Managing variants, versions, and variability in system-level engineering is becoming increasingly important in industry and represents a challenge for model-based systems engineering. With this paper, we want to raise awareness that guidance and decision support when it comes to realizing variants and variability in SysML and UML models is needed. Although there are already a significant number of approaches to variability realization at source code level, there is a lack of practice-oriented guidance at model level. This creates great uncertainty and ad-hoc approaches when dealing with system changes or parallel modeling of system variants. Due to lack of modularization and standardized variability realization, interwoven, and overly complex system models result. In this paper, we raise awareness of the need for appropriate guides and decision support tools, present our pattern catalogue framework for commonly encountered scenarios in variability realization, discuss feedback from industry on this collection, and show the application of some patterns on an exemplary weather station.","PeriodicalId":322542,"journal":{"name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128496945","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