Product variation sequence modelling using feature diagrams and modal logic

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.