Model-Driven Engineering of Information Systems

Model-Driven Engineering for Software Product Lines 91

1. a set of composition and decomposition operators to support Sepa-

ration of Concerns in feature modeling. The operators are formally

defined (using propositional logic), fully automated, guaranteeing

properties in terms of sets of configurations, and can be combined

together or with other operators, for example, to realize complex

reasoning tasks;

2. a domain-specific, textual language, called FAMILIAR, that pro-

vides an operational solution for using the different operators and

managing multiple feature models on a large scale.

Instead of merging multiple feature models as in [102], another ap-

proach is to reference those multiple feature models, as proposed by Hart-

mann et al. [104]. ...