Variability modules

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 d...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:The Journal of systems and software Ročník 195; s. 111510
Hlavní autoři: Damiani, Ferruccio, Hähnle, Reiner, Kamburjan, Eduard, Lienhardt, Michael, Paolini, Luca
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 01.01.2023
Elsevier
Témata:
Delta-oriented programming
Engineering Sciences
Family-based analysis
Language design
Modules
Multi product line
Physics
Variant generation
Delta-oriented programming
Multi product line
Language design
Family-based analysis
Variant generation
Modules
ISSN:0164-1212, 1873-1228
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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. •Extension of the standard concept of module to support multi product lines.•Interoperability of different variants of the same product line.•Dependencies among different variants reduced to dependencies among standard modules.•Statically checkable properties.•Implemented for the Abstract Behavioral Specification language.
ISSN:0164-1212
1873-1228
DOI:10.1016/j.jss.2022.111510