The Community for Technology Leaders
2013 21st IEEE International Requirements Engineering Conference (RE) (2006)
Minneapolis/St. Paul, Minnesota, USA
Sept. 11, 2006 to Sept. 15, 2006
ISSN: 1090-705X
ISBN: 0-7695-2555-5
pp: 139-148
Pierre-Yves Schobbens , University of Namur, Belgium
Jean-Christophe Trigaux , University of Namur, Belgium
Patrick Heymans , University of Namur, Belgium
ABSTRACT
<p>Feature Diagrams (FD) are a family of popular modelling languages used for engineering requirements in sofware product lines. FD were first introduced by Kang as part of the FODA (Feature Oriented Domain Analysis) method back in 1990. Since then, various extensions of FODA FD were devised to compensate for a purported ambiguity and lack of precision and expressiveness. Howevel; they never received a proper formal semantics, which is the hallmark of precision and unambiguity as well as a prerequisite for eflcient and safe tool automation</p> <p>In this paper, we first survey FD variants. Subsequently, we generalize the various syntaxes through a generic construction called Free Feature Diagrams (FFD). Formal semantics is defined at the FFD level, which provides unambiguous definition for all the surveyed FD variants in one shot. All formalization choices found a clear answer in the original FODA FD definition, which proved that although informal and scattered throughout many pages, it suffered no ambiguity problem.</p> <p>Our dejinition has several additional advantages: it is formal, concise and generic. We thus argue that it contributes to improve the definition, understanding, comparison and reliable implementation of FD languages.</p>
INDEX TERMS
null
CITATION
Pierre-Yves Schobbens, Jean-Christophe Trigaux, Patrick Heymans, "Feature Diagrams: A Survey and a Formal Semantics", 2013 21st IEEE International Requirements Engineering Conference (RE), vol. 00, no. , pp. 139-148, 2006, doi:10.1109/RE.2006.23
97 ms
(Ver )