Thu 7 Sep 2023 13:45 - 14:15 at f142 - Modeling Chair(s): Gunter Mussbacher

The Internet of Things is one of the core drivers of variability modelling and requires explicit mechanisms to manage it. A key technology for addressing this variability is product line engineering. This approach uses a reference architecture to establish a well-designed set of assets that fit together, the Software Product Line (SPL). One of the limitations of variability models is they do not provide information about the quality of new products or how they achieve stakeholder requirements. Several approaches tackle this issue by integrating variability models with goal models. The main challenge is conciliating the different variability perspectives to make the joint use of both models possible without the loss of information or alterations to the models’ semantics. In this work, we present a framework for analysing and optimising SPL products considering stakeholders’ requirements that respects the semantics of both models. The framework is based on Integer Linear Programming (ILP), a field of mathematical programming. Variability and goal models are formalised as a set of linear constraints and are linked using mapping functions. As a proof of concept, we present a tool that takes both models and mapping functions to generate an ILP problem that can be solved using Matlab.

Thu 7 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:45 - 15:15
ModelingRE@Next! Papers / Research Papers at f142
Chair(s): Gunter Mussbacher McGill University
13:45
30m
Paper
Analysis and optimisation of SPL products using goal models
Research Papers
A: Inmaculada Ayala Universidad de Málaga, A: Mercedes Amor Universidad de Málaga, A: Lidia Fuentes Universidad de Málaga, Spain
Pre-print File Attached
14:15
30m
Paper
Discovering runtime requirements from user interactions: ideas and preliminary studies
RE@Next! Papers
A: Tong Li Beijing University of Technology, A: Xinran Zhang Beijing University of Technology, A: Yiting Wang
Media Attached File Attached
14:45
30m
Paper
Visualizations for User-supported State Space Exploration of Goal Models
RE@Next! Papers
A: Yesugen Baatartogtokh University of Massachusetts Amherst, A: Irene Foster Smith College, A: Alicia M. Grubb Smith College
Pre-print