Product variation sequence modelling using feature diagrams and modal logic
Renata Burbaitė, Robertas Damaševičius, Vytautas Štuikys, Kristina Bespalova, Paulius Paškevičius · 2011
Variability aspects are at the core of software product family modelling approaches. In this paper, we extend the scope of variability modelling techniques through: (a) introducing a novel concept (variation sequences), which is an extension of Jaring and Bosch's variability taxonomy; and (b) formalizing feature models. The paper presents: (1) formal definitions of basic feature modelling concepts; (2) formal description of variation sequences; (3) feature selection within variation sequences using graph colouring and modal logic notations; (4) implementing feature models using meta-programming techniques with a case study.