RT Journal Article
JF Software Product Line Conference, International
YR 2008
VO 00
SP 203
TI Calculating and Modeling Common Parts of Software Product Lines
A1 Kathrin Scheidemann,
A1 Martin Leucker,
A1 Alexander Gruler,
K1 Software Product Line
K1 Algebraic Model
K1 Dependency Model
K1 Structural Operational Semantics
AB This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms of labeled transition systems for individual products as well as for the entire product line and can be derived automatically. In this paper, we extend PL-CCS with a concept for specifying dependencies, show how to integrate it into a development methodology for product lines and validate its practical applicability by modeling a typical reactive system from the automotive domain. Most importantly, due to the algebraic nature of our model, we can derive calculation laws that allow to compute common parts of a product line. The application of the corresponding calculation rules is illustrated in detail with an example. By this, we obtain a formal foundation for restructuring product lines.
PB IEEE Computer Society, [URL:http://www.computer.org]
LA English
DO 10.1109/SPLC.2008.22
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2008.22