A hierarchical variability model for software product lines
2012 (English)In: Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / [ed] Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen, Springer, 2012, 181-199 p.Conference paper (Refereed)
A key challenge in software product line engineering is to represent solution space variability in an economic, yet easily understandable fashion. We introduce the notion of hierarchical variability models to describe families of products in a manner that facilitates their modular design and analysis. In this model, a family is represented by a common set of artifacts and a set of variation points with associated variants. A variant is again a hierarchical variability model, leading to a hierarchical structure. These models, however, are not unique with respect to the families they define. We therefore propose a quantitative measure on hierarchical variability models that expresses the degree to which a variability model captures commonality and variability in a family. Further, by imposing well-formedness constraints, we identify a class of variability models that, by construction, have maximal measure and are unique for the families they define. For this class of simple families, we provide a procedure that reconstructs their hierarchical variability model. The reconstructed model can be used to drive various static analyses by divide-and-conquer reasoning. Hierarchical variability models strike a balance between the formalism's expressiveness and the desirable property of model uniqueness. We illustrate the approach by a small product line of Java classes.
Place, publisher, year, edition, pages
Springer, 2012. 181-199 p.
, Communications in Computer and Information Science, ISSN 1865-0929 ; 336 CCIS
Product design, Static analysis
IdentifiersURN: urn:nbn:se:kth:diva-107313DOI: 10.1007/978-3-642-34781-8_15ISI: 000315973600015ScopusID: 2-s2.0-84868370200ISBN: 978-364234780-1OAI: oai:DiVA.org:kth-107313DiVA: diva2:576096
International Workshops on Software Aspects of Robotic Systems, SARS 2011 and Machine Learning for System Construction, MLSC 2011, Held Under the Auspices of the ISoLA 2011, 17 October 2011 through 18 October 2011, Vienna
FunderICT - The Next Generation
QC 201212122012-12-122012-12-102013-04-19Bibliographically approved