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

8531	Introduction to Algorithms - Cormen, Lesierson, et al. - 2001
583	Feature-oriented domain analysis (FODA) feasibility study - Kang, Cohen, et al. - 1990
365	The Design and Implementation of Hierarchical Software Systems with Reusable Components - Batory, O'Malley - 1992
172	U.: Generative Programming Methods, Tools, and Applications - Czarnecki, Eisenecker - 2000
150	The Cornell Program Synthesizer: A Syntax-Directed Programming Environment - Teitelbaum, Reps - 1981
99	Formalizing cardinality-based feature models and their specialization - Czarnecki, Helsen, et al. - 2005
81	Staged configuration through specialization and multi-level configuration of feature models - Czarnecki, Helsen, et al. - 2005
74	An extensible SAT solver - Eén, Sörensson
73	Featureplugin: feature modeling plug-in for eclipse - Antkiewicz, Czarnecki - 2004
57	de Kleer, Building Problem Solvers - Forbus, J - 1993
46	Using First-order Logic for Product Line Model Validation - Mannion
16	Philippow I. Details of formalized relations in feature models using OCL - Streitferdt, Riebisch - 2003
15	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