Feature Models, Grammars, and Propositional Formulas
Feature Models, Grammars, and Propositional Formulas
复制标题
DOI：
10.1007/11554844_3
复制
发表时间：
2005-09
期刊：
影响因子：
--
通讯作者：
D. Batory
中科院分区：
文献类型：
--
作者：
D. Batory
特性模型用于指定产品线的成员。尽管已经取得了多年的进展，但现代工具通常对功能约束提供有限的支持，并且很少或根本不支持调试功能模型。我们整合了先前的结果来连接特征模型、语法和命题公式。这种连接允许在特征之间定义任意命题约束，并使现成的可满足性求解器能够调试特征模型。我们还展示了我们的想法如何可以推广最近关于特征模型的阶段配置的结果。
Feature models are used to specify members of a product-line. Despite years of progress, contemporary tools often 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.