Abstract

Abstract. Feature models are used to specify members of a product-line. Despite years of progress, contemporary tools provide limited support for feature constraints and offer little or no support for debugging feature models. We integrate prior results to connect feature models, grammars, and propositional formulas. This connection allows arbitrary propositional constraints to be defined among features and enables off-the-shelf satisfiability solvers to debug feature models. We also show how our ideas can generalize recent results on the staged configuration of feature models.

Citations

8158	Introduction to Algorithms - Cormen, Leiserson, et al. - 1990
514	Feature-Oriented Domain Analysis (FODA) Feasibility Study - Kang, Cohen, et al. - 1990
355	The design and implementation of hierarchical software systems with reusable components - Batory, O’Malley - 1992
159	U.: Generative Programming: Methods, Tools and Applications - Czarnecki, Eisenecker - 2000
149	T.: The cornell program synthesizer: A syntax-directed programming environment - Teitelbaum, Reps - 1981
80	Formalizing Cardinality-based Feature Models and their Specialization." Software Process Improvement and Practice, special issue of best papers from SPLC04 - Czarnecki, Helsen - 2005
70	An extensible sat solver - Eén, Sörensson - 2003
67	Staged configuration through specialization and multilevel configuration of feature models - Czarnecki, Helsen, et al. - 2005
64	K.: FeaturePlugin: Feature Modeling Plug-In for Eclipse - Antkiewicz, Czarnecki
57	de Kleer, Building Problem Solvers - Forbus, J - 1993
42	Using first-order logic for product line model validation - Mannion - 2002
13	Philippow I. Details of formalized relations in feature models using OCL - Streitferdt, Riebisch - 2003
12	Composition and Construction of Embedded Software Families - Beuche - 2003
11	Applying Feature Models in Industrial Settings - Hein, Schlick, et al. - 2000
6	Grammars as Feature Diagrams - Jong, Visser - 2002
5	A Standard Problem for Evaluating - Lopez-Herrejon, Batory - 2001
2	Composition Validation and Subjectivity - Batory, Geraci - 1997
1	private correspondence - Czarnecki - 2005
1	Verification of Dynamically Reconfigurable Applications - Grechanik, Batory
1	Technical White Paper: Variant Management with pure::variants”, www.puresystems.com - Pure-Systems - 2003