Reasoning about Feature Models in Higher-Order Logic

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 support 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.

• Type: Conference
• Year: 2007
• Where: SPLC
• Authors: Mikolás Janota, Joseph Kiniry
• Keywords: Feature Modeling, Feature Modeling Metamodel, Feature Trees, SPLC 2007, SPLC 2008