Feature models, grammars, and propositional formulas

DMCA

Feature models, grammars, and propositional formulas (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Don Batory

Citations:

297 - 12 self

BibTeX

@INPROCEEDINGS{Batory05featuremodels,,
    author = {Don Batory},
    title = {Feature models, grammars, and propositional formulas},
    booktitle = {},
    year = {2005},
    pages = {7--20},
    publisher = {Springer}
}

OpenURL

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.

Keyphrases

feature model propositional formula feature constraint prior result contemporary tool arbitrary propositional constraint off-the-shelf satisfiability solver limited support staged configuration recent result

DMCA