skip to main content
10.1145/3377024acmotherconferencesBook PagePublication PagesvamosConference Proceedingsconference-collections
VaMoS '20: Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems
ACM2020 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems Magdeburg Germany February 5 - 7, 2020
ISBN:
978-1-4503-7501-6
Published:
06 February 2020

Bibliometrics
Skip Abstract Section
Abstract

Supported by its strong community, the 13 previous editions of the VaMoS workshop successfully bootstrapped research on modelling and managing the variability of software systems, as witnessed by the many related breakthroughs published in top-tier conferences and journals. Embracing his new status of a working conference, VaMoS more than ever aims to bring together researchers and practitioners to share ideas, results and experience about their quest for mastering variability.

Skip Table Of Content Section
SESSION: Keynotes
invited-talk
Dependency bugs: the dark side of variability, reuse and modularity

For years, the software reuse community (including the variability community) has used cost reduction as the main argument for software reuse. Software reuse methods are often contrasted with cloning[9]. We commonly hear that already when a piece of ...

invited-talk
Next steps in variability management due to autonomous behaviour and runtime learning

One of the basic principles in product lines is to delay design decisions related to offered functionality and quality to later phases of the life cycle [25]. Instead of deciding on what system to develop in advance, a set of assets and a common ...

SESSION: Counting, sampling and learning
research-article
Evaluating #SAT solvers on industrial feature models

Configurable systems are widely used for families of products that share multiple configuration options. These systems often induce a large configuration space. Handling the variability of such a system is difficult without being able to measure its ...

research-article
YASA: yet another sampling algorithm

Configurable systems allow users to derive customized software variants with behavior and functionalities tailored to individual needs. Developers of these configurable systems need to ensure that each configured software variant works as intended. Thus,...

research-article
Generating attributed variability models for transfer learning

Modern software systems often provide configuration options for customizing of the system's functional and non-functional properties, such as response time and energy consumption. The valid configurations of a software system are commonly documented in ...

SESSION: Automated reasoning
research-article
SMT-based variability analyses in FeatureIDE

Handling configurable systems with thousands of configuration options is a challenging problem in research and industry. One of the most common approaches to manage the configuration options of large systems is variability modelling. The verification ...

research-article
Variational correctness-by-construction

Nowadays, the requirements for software and therefore also the required complexity is increasing steadily. Consequently, various techniques to handle the growing demand for software variants in one specific domain are used. These techniques often rely ...

research-article
Fast static analyses of software product lines: an example with more than 42,000 metrics

Context: Software metrics, as one form of static analyses, is a commonly used approach in software engineering in order to understand the state of a software system, in particular to identify potential areas prone to defects. Family-based techniques ...

SESSION: Beyond the borders
research-article
Causes of merge conflicts: a case study of ElasticSearch

Software branching and merging allows collaborative development and creating software variants, commonly referred to as clone & own. While simple and cheap, a trade-off is the need to merge code and to resolve merge conflicts, which frequently occur in ...

research-article
Using variability modeling to support security evaluations: virtualizing the right attack scenarios

A software system's security is constantly threatened by vulnerabilities that result from faults in the system's design (e.g., unintended feature interactions) and which can be exploited with attacks. While various databases summarize information on ...

research-article
Variability meets security: qantitative security modeling and analysis of highly customizable attack scenarios

We present a framework for quantitative security modeling and analysis of highly customizable attack scenarios, which resulted as a spin-off from our research in software product line engineering. The graphical security models are based on attributed ...

SESSION: Project dissemination
extended-abstract
Excellence in variant testing

In this short paper, we report on the motivation, background and ambition of the ITEA3 project XIVT - e<u>x</u>cellence <u>i</u>n <u>v</u>ariant <u>t</u>esting. We describe a work flow and tool chain for testing of configurable and highly-variant ...

extended-abstract
EXtracting product lines from vAriaNTs (EXPLANT)

The project EXtracting Product Lines from vAriaNTs (EXPLANT) funded by the German Research Foundation (DFG) is currently in its second phase. In this project, we are concerned with the stepwise migration of cloned variants into a software product line (...

SESSION: Students talk
extended-abstract
Engineering support for variability modeling for context-sensitive reconfiguration of collaborative manufacturing systems

The manufacturing domain faces new challenges due to market changes. One of these changes affects consumer behavior, i.e. customers demand individualized products in small batches. Varying production requests require different configurations of ...

extended-abstract
STARS: software technology for adaptable and reusable systems PhD research project

Dynamically Adaptive Systems (DAS) modify their behaviours in response to (sometimes unpredictable) changes in their environment or to the evolution of their own abilities (sensors and actuators). To support adaptation, a reference architecture (such as ...

SESSION: Variability in the field
research-article
On the proposal and evaluation of a test-enriched dataset for configurable systems
Article No.: 16, pp 1–10https://doi.org/10.1145/3377024.3377045

Configurable systems offer advantages compared to single systems since developers should maintain a unique platform to address a diversity of deployment contexts and usages. To ensure that all configurations correctly execute, developers spend ...

research-article
Syntax-preserving slicing of C-based software product lines: an experience report

Program slicing is an important technique for various follow-up activities like program understanding or feature identification. So far only little work exists on program slicing of product lines. A key challenge in this context is to identify a slice ...

research-article
Feature identification for engineering model variants in cyber-physical production systems engineering

In Cyber-Physical Production System (CPPS) engineering, Assembly Sequence (AS) models of products are primary engineering artifacts. Product variants are often designed as Product-Process-Resource (PPR) AS models that are initiated with clone-and-own ...

SESSION: Reverse- and re-engineering
research-article
Recovering variability information from source code of clone-and-own software systems

Clone-and-own prevails as an ad-hoc reuse strategy that addresses changing requirements by copying and modifying existing system variants. Proper documentation is typically not cherished and knowledge about common and varying parts between individual ...

research-article
Mapping features to automatically identified object-oriented variability implementations: the case of ArgoUML-SPL

In Software Product Line (SPL) engineering, mapping domain features to existing code assets is essential for variability management. When variability is already implemented through Object-Oriented (OO) techniques, it is too costly and error-prone to ...

research-article
Activities and costs of re-engineering cloned variants into an integrated platform
Article No.: 21, pp 1–10https://doi.org/10.1145/3377024.3377044

Many software systems need to exist in multiple variants. Organizations typically develop variants using clone&own---copying and adapting systems towards new requirements. However, while clone & own is a simple and readily available strategy, it does ...

SESSION: Evolution and maintenance
research-article
Towards iterative software product line engineering with incremental multi-variant model transformations

Software product line engineering (SPLE) aims at increasing productivity by relying on the principles of organized reuse and variability. In annotative approaches to SPLE the realization artifacts carry presence conditions, we refer to as annotations ...

research-article
Structurally evolving component-port-connector architectures of centrally controlled systems

The increasing complexity of software variants demands for variation management techniques suitable for industrial practice. As "clone-and-own" with subsequent manual evolution still is a popular method to create software variants, this leads to product ...

research-article
FeatureCoPP: unfolding preprocessor variability

Annotation-based and composition-based variability mechanisms have complementary strengths regarding software maintenance and evolution. Consequently, several proposals have been made to combine, integrate, and substitute both mechanisms. An open ...

research-article
Towards projectional editing for model-based SPLs
Article No.: 25, pp 1–10https://doi.org/10.1145/3377024.3377030

Model-based software product lines (MBSPLs) are implemented using various variability mechanisms. These are commonly categorized whether they separate features virtually (e.g., using annotations) or physically (e.g., using modules). Each of these ...

Contributors
  • University of Luxembourg
  • University of Rennes
  • Pure-Systems GmbH
  • Otto von Guericke University Magdeburg
Index terms have been assigned to the content through auto-classification.

Recommendations

Acceptance Rates

Overall Acceptance Rate66of147submissions,45%
YearSubmittedAcceptedRate
VaMoS '19241458%
VAMOS '18341544%
VaMoS '15341647%
VaMoS '14552138%
Overall1476645%