Feature Model - Semantics

Semantics

The semantics of a feature model is the set of feature configurations that the feature model permits. The most common approach is to use mathematical logic to capture the semantics of a feature diagram. Each feature corresponds to a boolean variable and the semantics is captured as a propositional formula. The satisfying valuations of this formula correspond to the feature configurations permitted by the feature diagram. For instance, if is a mandatory sub-feature of, the formula will contain the constraint .

The following table provides a translation of the basic primitives. The semantics of a diagram is a conjunct of the translations of the elements contained in the diagram. We assume that the diagram is a rooted tree.

Feature Diagram Primitive	Semantics
is the root feature
optional sub-feature of
mandatory sub-feature of
alternative sub-features of	$\left(f_1 \lor \dots \lor f_n \Leftrightarrow f\right) \land \bigwedge_{i<j}\lnot(f_i \land f_j)$
or sub-features of
excludes
requires

Read more about this topic: Feature Model