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 bugs. 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 bugs from feature diagrams, the checking and diagnosing of them can be automated to some extent.

[1]  Karem A. Sakallah,et al.  Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints , 2007, Journal of Automated Reasoning.

[2]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[3]  Pierre-Yves Schobbens,et al.  Semantics of FODA Feature Diagrams , 2004 .

[4]  Hai H. Wang,et al.  Formal semantics and verification for feature modeling , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[5]  Jaejoon Lee,et al.  Concepts and Guidelines of Feature Modeling for Product Line Software Engineering , 2002, ICSR.

[6]  Robert L. Nord,et al.  Software Product Lines , 2004, Lecture Notes in Computer Science.

[7]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[8]  Cesare Tinelli,et al.  Handbook of Satisfiability , 2021, Handbook of Satisfiability.

[9]  Rohit Gheyi,et al.  A Theory for Feature Models in Alloy , 2006 .

[10]  Douglas C. Schmidt,et al.  Automated Diagnosis of Product-Line Configuration Errors in Feature Models , 2008, 2008 12th International Software Product Line Conference.

[11]  David M. Weiss,et al.  Software Product Line Engineering , 2005, SEKE.

[12]  Felix Sheng-Ho Chang,et al.  Finding Minimal Unsatisfiable Cores of Declarative Specifications , 2008, FM.

[13]  Haiyan Zhao,et al.  A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.

[14]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[15]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[16]  Shin Nakajima.  Constructing FODA Feature Diagrams with a GUI-based Tool , 2009, SEKE.

[17]  Mike Mannion.  Using First-Order Logic for Product Line Model Validation , 2002, SPLC.

[18]  Manu Sridharan,et al.  Debugging overconstrained declarative models using unsatisfiable cores , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..