Semantics of FODA Feature Diagrams

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

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

Abstract

Extended Feature Oriented Domain Analysis (FODA) Feature Diagrams (EFD) were introduced to compensate for a purported ambiguity and lack of precision and expressiveness of the original FODA feature diagrams (OFD). However, EFD never received a formal semantics, which is the hallmark of precision and unambiguity. We propose here a semantics for both diagrams. 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 measures naturalness of a language. This tool shows that EFD indeed bring some naturalness, but are harmfully redundant and that the same naturalness can be attained with the simpler varied FD (VFD). We also show that no ambiguity is present, in fact.
Original languageEnglish
Title of host publicationProceedings of Workshop on Software Variability Management for Product Derivation Towards Tool Support held in conjunction with the 8th international Conference on Software Product Line Conference (SPLC'04)
Subtitle of host publicationHUT-SoberIT-C6
EditorsT Mannisto, J Bosch
Place of PublicationHelsinki, Finland
PublisherT. Mannisto and J. Bosch
Pages48-58
Number of pages11
Publication statusPublished - 2004

Fingerprint

Dive into the research topics of 'Semantics of FODA Feature Diagrams'. Together they form a unique fingerprint.
  • Model-driven engineering

    Cleve, A.

    1/01/1031/01/10

    Project: Research Axis

  • Evolution: Evolution

    Cleve, A.

    1/01/1031/01/10

    Project: Research Axis

Cite this