The Community for Technology Leaders
Software Product Line Conference, International (2007)
Kyoto, Japan
Sept. 10, 2007 to Sept. 14, 2007
ISBN: 0-7695-2888-0
pp: 13-22
Mikolas Janota , University College Dublin
Joseph Kiniry , University College Dublin
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.
INDEX TERMS
null
CITATION
Mikolas Janota, Joseph Kiniry, "Reasoning about Feature Models in Higher-Order Logic", Software Product Line Conference, International, vol. 00, no. , pp. 13-22, 2007, doi:10.1109/SPLINE.2007.36
80 ms
(Ver 3.3 (11022016))