arrow
Return

Variability modules?

delete2023-01-01
delete3
delete
OA
AI
F
Ferruccio Damiani *
R
Reiner Hähnle
E
Eduard Kamburjan *
M
Michaël Lienhardt
L
Luca Paolini
DOI:10.1016/j.jss.2022.111510delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
A Software Product Line (SPL) is a family of similar programs, called variants, generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs: each variant can depend on variants from other SPLs. MPLs are challenging to model and to implement efficiently, especially when different variants of the same SPL must coexist and interoperate. We address this challenge by introducing the concept of a variability module (VM), a new language construct. A VM constitutes at the same time a module and an SPL of standard (variability-free), possibly interdependent, modules. Generating a variant of a VM triggers the generation of all variants required to satisfy its dependencies. Consequentially, a set of interdependent VMs represents an MPL that can be compiled into a set of standard modules. We illustrate the VM concept with an example from an industrial modeling scenario and formalize it in a core calculus. We define family-based analyses to check that a VM satisfies certain well-formedness conditions and whether all variants can be generated. Finally, we provide an implementation of VM for the Java-like modeling language ABS, and evaluate it with case studies. (c) 2022 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
Keywords:
Delta -oriented programming
Family -based analysis
Language design
Modules
Multi product line
Variant generation
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems and Software cover
Journal of Systems and Software
IF:
4.1
Papers:
5.4K
Citations:
8.4K

Organization

U
University of Turin
Scholars:
3.7W
Papers: 2.8W
Citations: 3.2W
U
university of oslo
Scholars:
4.2W
Papers: 3.5W
Citations: 53
U
Universite Paris Saclay
Scholars:
7.3W
Papers: 5.3W
Citations: 540
T
Technical University of Darmstadt
Scholars:
1.3W
Papers: 10.0K
Citations: 1.2W
researcher View more organizations