Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems最新文献

Efficient Production Process Variability Exploration 高效生产过程变异性探索

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3511274

Kristof Meixner, Kevin Feichtinger, Rick Rabiser, S. Biffl

{"title":"Efficient Production Process Variability Exploration","authors":"Kristof Meixner, Kevin Feichtinger, Rick Rabiser, S. Biffl","doi":"10.1145/3510466.3511274","DOIUrl":"https://doi.org/10.1145/3510466.3511274","url":null,"abstract":"Cyber-Physical Production Systems (CPPSs) manufacture highly-customizable products from a product family following a sequence of production steps. For a CPPS, basic planners design feasible production process sequences by arranging atomic production steps based on implicit domain knowledge. However, the manual design of production sequences is inefficient and hard to reproduce due to the large configuration space. In this paper, we introduce the Iterative Process Sequence Exploration (IPSE) approach that (i) elicits domain knowledge in an industrial variability artifact, using the Product-Process-Resource Domain-Specific Language (PPR–DSL); (ii) reduces configuration space size regarding structural product variability and behavioral process variability; and (iii) facilitates efficiently exploring the configuration space in a process decision model. For production process sequence design, IPSE is a first approach to combine structural and behavioral variability models. We investigated the feasibility of the IPSE in a study on a typical manufacturing work line in automotive production. We compare the IPSE to a traditional process sequence planning approach. Our study indicates IPSE to be more efficient than the traditional manual approach.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"39 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120853602","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

Transferring Performance between Distinct Configurable Systems : A Case Study 在不同的可配置系统之间传递性能:一个案例研究

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3510486

Luc Lesoil, Hugo Martin, M. Acher, Arnaud Blouin, J. Jézéquel

引用次数: 4

Unified Operations for Variability in Space and Time 空间和时间变化的统一操作

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3510483

Sofia Ananieva, Sandra Greiner, Jacob Krueger, L. Linsbauer, Sten Gruener, Timo Kehrer, Thomas Kuehn, C. Seidl, Ralf H. Reussner

{"title":"Unified Operations for Variability in Space and Time","authors":"Sofia Ananieva, Sandra Greiner, Jacob Krueger, L. Linsbauer, Sten Gruener, Timo Kehrer, Thomas Kuehn, C. Seidl, Ralf H. Reussner","doi":"10.1145/3510466.3510483","DOIUrl":"https://doi.org/10.1145/3510466.3510483","url":null,"abstract":"Software and systems engineering is challenged by variability in space (concurrent variations at a single point in time) and time (sequential variations due to evolution). Managing both dimensions of variability independently is cumbersome and error-prone. A common foundation for operations on these dimensions is still missing, hampering the comparison and integration of existing techniques coping with variability in space and time as well as the design of new ones. In this paper, we address this problem by systematically identifying, categorizing, and unifying operations from contemporary tools and extending them to cope with both variability dimensions. Based on our gained insights, we identify gaps and trade-offs in current tools for managing variability in space and time, and discuss open challenges. The unified operations establish a common foundation that helps researchers and practitioners to gain a deeper understanding of existing techniques and tools for managing variability in space and/or time, analyze and compare them, and design new ones.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121423573","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

Uncertainty and Variability in Industry-scale Projects: Pearls, Perils, and Pitfalls of Model-Driven Engineering at Work 工业规模项目中的不确定性和可变性:工作中模型驱动工程的珍珠、危险和陷阱

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3511022

A. Pierantonio

{"title":"Uncertainty and Variability in Industry-scale Projects: Pearls, Perils, and Pitfalls of Model-Driven Engineering at Work","authors":"A. Pierantonio","doi":"10.1145/3510466.3511022","DOIUrl":"https://doi.org/10.1145/3510466.3511022","url":null,"abstract":"The state-of-the-art in software abstraction is model-driven engineering. It provides system architects with abstract representations of complex system functionality, complementary views of a given system (e.g., behavioral versus structural), and vertical refinement of high-level system requirements models into design models and eventually down to (automatically-generated) executable code. However, the complexity caused by the many models used in large-scale projects might give place to significant sources of uncertainty due to (implicit and explicit) dependencies, consistencies, and correlations among the modeling artifacts. Keeping such models consistent during the development process requires spelling out the change requirements that enforce well-thought-out change propagation and co-evolution plans. In this talk, I will survey threats, challenges, and misconceptions that occurred in the context of an industry-scale project in the domain of computer-based interlocking systems. In particular, the different kinds of model relations required managing several forms of (epistemic) uncertainty emerged in various scenarios, including roundtripping among modeling notations and several forms of co-evolution involving metamodels, models, and transformations. To this end, a megamodel is given to better characterize the identified solutions that required devising specialized tools and notations for leveraging automation and translating uncertainty into variability models.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125306230","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

Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱ 高级驾驶辅助系统场景测试的特征交互采样

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3510474

Lukas Birkemeyer, T. Pett, Andreas Vogelsang, C. Seidl, Ina Schaefer

{"title":"Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱","authors":"Lukas Birkemeyer, T. Pett, Andreas Vogelsang, C. Seidl, Ina Schaefer","doi":"10.1145/3510466.3510474","DOIUrl":"https://doi.org/10.1145/3510466.3510474","url":null,"abstract":"Scenario-based testing is considered state-of-the-art to verify and validate Advanced Driver Assistance Systems. However, two essential unsolved challenges prevent the practical application of scenario-based testing according to the SOTIF-standard: (1) how to select a set of representative test scenarios, and (2) how to assess the effectiveness of a test scenario suite. In this paper, we leverage variability modelling techniques to select scenarios from a scenario space and assess the resulting scenario suites with a mutation score as metric. We capture the scenario space in a feature model and generate representative subsets with feature-interaction coverage sampling. The mutation score assesses the failure-finding effectiveness of these samples. We evaluate our concepts by sampling scenario suites for two independent Autonomous Emergency Braking function implementations and executing them on an industrial-strength simulator. Our results show that the feature model captures a scenario space that is relevant to identify all mutants. We show that sampling based on interaction coverage reduces the testing effort significantly while maintaining effectiveness in terms of mutation scores. Our results underline the potential of feature model sampling for testing in the automotive industry.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133421770","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

Reproducible Science and Deep Software Variability 可再生科学和深度软件可变性

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3510481

M. Acher

{"title":"Reproducible Science and Deep Software Variability","authors":"M. Acher","doi":"10.1145/3510466.3510481","DOIUrl":"https://doi.org/10.1145/3510466.3510481","url":null,"abstract":"Biology, medicine, physics, astrophysics, chemistry: all these scientific domains need to process large amount of data with more and more complex software systems. For achieving reproducible science, there are several challenges ahead involving multi-disciplinary collaboration and socio-technical innovation with software at the center of the problem. Despite the availability of data and code, several studies report that the same data analyzed with different software can lead to different results. I am seeing this problem as a manifestation of deep software variability: many factors (operating system, third-party libraries, versions, workloads, compile-time options and flags, etc.) themselves subject to variability can alter the results, up to the point it can dramatically change the conclusions of some scientific studies. In this keynote, I argue that deep software variability is a threat and also an opportunity for reproducible science. I first outline some works about (deep) software variability, reporting on preliminary evidence of complex interactions between variability layers. I then link the ongoing works on variability modelling and deep software variability in the quest for reproducible science.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122427808","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

Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines 基于跟踪的模型驱动产品线可变性标注同步研究

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3510470

Sandra Greiner, M. Nieke, C. Seidl

{"title":"Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines","authors":"Sandra Greiner, M. Nieke, C. Seidl","doi":"10.1145/3510466.3510470","DOIUrl":"https://doi.org/10.1145/3510466.3510470","url":null,"abstract":"Annotative model-driven product lines allow to derive individual variants from a multi-variant model by exploiting annotations. Those declare the presence of each model element in a specific set of variants via a logical expression over features and may change during evolution. This provokes the risk of introducing conflicts causing logically cohesive elements of different models to appear in diverging sets of variants, which threatens the consistency of the product line. Existing work on propagating annotations across models employs the comparatively simple strategy of either overwriting or manually protecting any changed annotation in the target model but does not consider a backward propagation nor any form of synchronization. Therefore, we contribute a sophisticated method for synchronizing annotations which detects corresponding elements based on model transformation traces and resolves conflicting annotations by preserving syntactically different but semantically equal annotations according to the feature model. We demonstrate challenges and our solution method in a scenario of synchronizing two corresponding evolving multi-variant models.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123388582","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

A Study on Variability for Multi-Device Rendering in Digital Music Publishing 数字音乐出版中多设备呈现的可变性研究

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3510482

P. Grünbacher

引用次数: 0

Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions 空间系统可变性感知设计:可变性建模、配置流程与研究方向

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3510472

Sami Lazreg, Vladyslav Bohlachov, L. Rana, A. Hein, Maxime Cordy

{"title":"Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions","authors":"Sami Lazreg, Vladyslav Bohlachov, L. Rana, A. Hein, Maxime Cordy","doi":"10.1145/3510466.3510472","DOIUrl":"https://doi.org/10.1145/3510466.3510472","url":null,"abstract":"Designing spacecraft such as satellites is known as an extremely difficult problem. It requires complex decision making at different concerns from mission requirements to system architectures. Such complexity might lead to design system architectures that are not feasible in practice or do not fulfil the requirements. Moreover, the lack of automation to assess high-level designs reduce the benefits of the early design phases by missing more suitable designs and increasing the design time. In this paper we discuss potential research directions and propose a potential framework that aims to i) drive the engineers in the different design steps ii) capture the feasible system architectures regarding the requirements and constraints, iii) refine and assess selected architectures through simulations. Our framework is model-driven and built on two complementary modules. The first module is a configurator based on attributed features models that support engineers in the design process of system architectures. Second, a simulation engine refines and assess automatically the selected system architectures with respect to the requirements.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121785967","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 with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming 有使用面向增量编程构建和发展软件产品线的经验

Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems Pub Date : 2022-02-23 DOI: 10.1145/3510466.3511271

M. Nieke, Adrian Hoff, Ina Schaefer, C. Seidl

{"title":"Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming","authors":"M. Nieke, Adrian Hoff, Ina Schaefer, C. Seidl","doi":"10.1145/3510466.3511271","DOIUrl":"https://doi.org/10.1145/3510466.3511271","url":null,"abstract":"A Software Product Line (SPL) captures families of closely related software variants. The configuration options of an SPL are represented by features. Typically, SPLs are developed in a feature-centric manner and, thus, require different development methods and technologies from developing software products individually. For developers of single systems, this means a shift in paradigm and technology. Especially with invasive variability realization mechanisms, such as Delta-Oriented Programming (DOP), centering development around configurable features realized via source code transformation is commonly expected to pose an obstacle, but concrete experience reports are lacking. In this paper, we investigate how DOP and cutting-edge SPL development tools are picked up by non-expert developers. To this end, we report on our experiences from a student capstone SPL development project. Our results show that participants find easy access to SPL development concepts and tools. Based on our observations and the participants’ practices, we define guidelines for developers using DOP.","PeriodicalId":254559,"journal":{"name":"Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117184655","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