atem2006s/paper07

ATEM 2006 SI paper:
Evaluating Formal Properties of Feature Diagram Languages

Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevičius, Andreas Claßen

• DOI: 10.1049/iet-sen:20070055
• T2C: Variability
  • Feature diagrams are treated as variability modelling languages for software product lines, and the paper’s main focus is comparing their variability semantics.
• T5D: Formal Methods
  • It grounds comparison in formal syntax/semantics (comparative semantics) and uses formal criteria to assess language properties.
• T1A: Design
  • A substantial part is about (re-)engineering modelling languages by clarifying constructs/semantics and identifying ambiguities and expressiveness trade-offs.
• T5B: Language Description Analysis
  • The method analyses and compares language definitions (FD notations) to discriminate between competing language designs.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.