Generic Semantics of Feature Diagrams Variants

Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

A large number of extensions of Feature Oriented Domain Analysis (FODA) Feature Diagrams were introduced to compensate for a purported ambiguity and lack of precision and expressiveness of the original FODA feature diagrams (OFD). However, they never received a formal semantics, which is the hallmark of precision and unambiguity. We propose here a formal semantics for all these diagrams, thanks to a generic construction that we call Free Feature Diagrams (FFD). From this we demonstrate that OFD are precise, unambiguous, and expressively complete, and thus that all extensions add no expressiveness. A finer notion is thus needed to compare these languages. Two solutions are well-established: succinctness and embeddability, that express naturalness of a language. This tool shows that some extensions indeed bring some naturalness, but are harmfully redundant and that the same naturalness can be attained with the simpler varied FD (VFD).
Original languageEnglish
Title of host publicationProceedings of 8th International Conference on Feature Interactions in Telecommunications and Software Systems
EditorsS Reiff-Marganiec, M. D Ryan
Place of PublicationLeicester, UK
PublisherIOS Press
Pages58-77
Number of pages20
ISBN (Print)1-58603-524-X
Publication statusPublished - 2005

Keywords

  • Feature Interactions
  • Feature Diagrams
  • Semantics

Fingerprint

Dive into the research topics of 'Generic Semantics of Feature Diagrams Variants'. Together they form a unique fingerprint.
  • Evolution: Evolution

    Cleve, A.

    1/01/1031/01/10

    Project: Research Axis

  • Model-driven engineering

    Cleve, A.

    1/01/1031/01/10

    Project: Research Axis

Cite this