MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Wed 26 Oct 2022 10:30 - 10:52 at A-3502.1 - Foundations I Chair(s): Jörg Kienzle

A software product line allows to derive individual software products based on a configuration. As the number of possible configurations is an indicator for the general complexity of a software product line, automatic #SAT analyses have been proposed to provide this information. However, the number of configurations does not need to match the number of products. Due to this mismatch, using the number of configurations to reason about the technical complexity (i.e., the number of products) of a software product line can lead to wrong assumptions during implementation and testing. How to compute the exact number of products, however, is unknown. In this paper, we mitigate this problem and present a concept to derive a solution-space feature model which allows to reuse existing #SAT analyses to compute the number of products of a software product line. We evaluate our concept by applying it to a total of 119 subsystems of three industrial software product lines. The results not only show that the concept scales for real world software product lines, but also confirm the mismatch between the number of configurations and the number of products.

Wed 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Foundations ITechnical Track / Journal-first at A-3502.1
Chair(s): Jörg Kienzle McGill University, Canada
10:30
22m
Talk
Quantifying the Variability Mismatch Between Problem and Solution SpaceFT
Technical Track
Marc Hentze Volkswagen AG, Chico Sundermann University of Ulm, Thomas Thüm University of Ulm, Ina Schaefer Karlsruhe Institute of Technology (KIT)
10:52
22m
Talk
Modular Language Product Lines. A Graph Transformation ApproachFT
Technical Track
Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Aut�noma de Madrid, Paolo Bottoni Sapienza University of Rome
Pre-print Media Attached
11:15
22m
Talk
Utilizing multi-level concepts for multi-phase modeling - Context-awareness and process-based constraints to enable model evolutionJ1st
Journal-first
Tobias Franz German Aerospace Center (DLR), Christoph Seidl IT University of Copenhagen, Philipp M. Fischer , Andreas Gerndt German Aerospace Center (DLR)
Link to publication
11:37
22m
Talk
Domain object hierarchies inducing multi-level modelJ1st
Journal-first
Link to publication