Was ist Variability Model?

• Feature Model in Aussagenlogik-Form

Was wollen wir mit Analysis von Variability Model erreichen? (auswendig lernen)

• Wir wollen rausfinden, ob
  • Feature Model ist konsistent
  • Finden optionale Featuer die sind aber mandatory - hidden constraints
  • Finden dead Features

Was ist dei aussagenlogische Erfuelbarkeit?

• Die Variablen haben die Belegung, mit der man das AL Formula nach True auswerten kann

Wann ist die Configuration valid?

• Wenn man diese Konfiguration in Formula einsetzt, bekommt man True

Was ist die formale Konsistenz?

• Es gibt eine erfuellbare Belegung fuer Formula
• Model Konsistent == Formula erfuellbar
• SAT

Was sind Dead Features formal?

• Feature f is dead, iff Ф with f=true is unsatisfiable
• → Jede Konfiguration mit f ist invalid

Was sind Mandatory Features formal?

• Feature f is dead, iff Ф with f=false is unsatisfiable
• → Jede Konfiguration ohne f ist invalid

Wann sind zwei Feature Modelle aequivalent

• Wenn die Formulas von diesen Feature Modellen aquivalent sind

Wie findet man Dead Features?

• Feature auf True setzen, dann SAT solver. Keine True → Dead

Wie findet man false-Optional Features?

• Feature auf False setzen, dann SAT solver. Keine True → Mandatory

Wie wird die Konsistenz geprueft?

• SAT Solver - mindestens eine True → Konsistent

Methode zur Abschaetzen der Anzahl der Variantenkombinationen erklaeren und an einem Feature Modell berechnen

• Mandatory are present in all variants
• OR - add all valid combinations: (True, False), (False, True), (True, True) for 2 OR-children. N^2-1 valid
• XOR - add all valid combinations (True, False), (False, True) - N is valid
• Optional - +1, because either three of this node x is activated and has count(x) variants or is deactivated → count(x) + 1
• Many mandatory/optional children → multiply their counts
• Constraint are ignored!