Reasoning about feature models in higher-order logic

Mikoláš Janota, Joseph Kiniry

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modeling approaches found in the literature. This meta-model supports not only a better understanding of the various approaches to feature modeling, but also supports reasoning about and within feature model approaches, feature models, and on feature trees and their configurations. © 2007 IEEE.
Original languageEnglish
Title of host publication11th International Software Product Line Conference, SPLC 2007
PublisherInst. of Elec. and Elec. Eng. Computer Society
Publication date2007
Pages13-22
ISBN (Print)9780769528885
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event11th International Software Product Line Conference, SPLC 2007 - Dublin, Ireland
Duration: 10 Sep 200714 Sep 2007

Conference

Conference11th International Software Product Line Conference, SPLC 2007
CountryIreland
CityDublin
Period10/09/200714/09/2007

Cite this

Janota, M., & Kiniry, J. (2007). Reasoning about feature models in higher-order logic. In 11th International Software Product Line Conference, SPLC 2007 (pp. 13-22). Inst. of Elec. and Elec. Eng. Computer Society. https://doi.org/10.1109/SPLINE.2007.4339251