A Domain-Specific Language for Managing Feature Models Mathieu Acher

Feature models are a popular formalism for managing vari-ability in software product lines (SPLs). In practice, devel-oping an SPL can involve modeling a large number of fea-tures representing different viewpoints, sub-systems or con-cerns of the software system. To manage complexity, there is a need to separate, relate and compose several feature mod-els while automating the reasoning on their compositions in order to enable rigorous SPL validation and configura-tion. In this paper, we propose a Domain-Specific Language (DSL) that is dedicated to the management of feature mod-els and that complements existing tool support. Rationale for this language is discussed and its main constructs are presented through examples. We show how the DSL can be used to realize a non trivial scenario in which multiple SPLs are managed