Semi-automated diagnosis of FODA feature diagram


A semi-automated model diagnostic method is proposed for FODA feature diagram, a primary modeling notation used in Software Product Line Engineering. The proposed method includes a propositional logic interpretation of the feature diagram and a diagram-slicing algorithm for locating <i>bugs</i>. In addition to logic-based formalization of the semantics, the novelty of our approach is that it uses heuristics taking into account the diagram graph structure. Although human intelligence is always involved in removing <i>bugs</i> from feature diagrams, the checking and diagnosing of them can be automated to some extent.

DOI: 10.1145/1774088.1774550

Extracted Key Phrases

7 Figures and Tables

Cite this paper

@inproceedings{Nakajima2010SemiautomatedDO, title={Semi-automated diagnosis of FODA feature diagram}, author={Shin Nakajima}, booktitle={SAC}, year={2010} }