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). |
Year | Venue | Keywords |
---|---|---|
2005 | FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VIII | feature diagrams,semantics,feature interactions |
Field | DocType | Citations |
Computer science,Natural language processing,Artificial intelligence,Semantics | Conference | 2 |
PageRank | References | Authors |
0.80 | 1 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yves Bontemps | 1 | 348 | 17.36 |
Patrick Heymans | 2 | 2634 | 136.40 |
Pierre-Yves Schobbens | 3 | 2042 | 104.80 |
Jean-christophe Trigaux | 4 | 434 | 17.17 |