Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
The Description Logic Handbook
The Description Logic Handbook
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Automated analysis of feature models 20 years later: A literature review
Information Systems
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Test-Case design by feature trees
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
| Hi-index | 0.00 |
Intelligent interactive systems have begun to adopt knowledge and software engineering technologies in an attempt to effective development. Feature models have been widely used in knowledge and software engineering for the reuse purpose. However, due to the lack of a formal semantics of feature models, it is rather difficult to perform rigorous consistency reasoning on them. Without guaranteed consistency of feature models, the quality of interactive systems based on them, can not be guaranteed. In this paper, how to formalize feature models with Description Logics is investigated. Following the proposed translation principles, each feature model is formalized into an $\mathcal{ALCQI}$ knowledge base. Hence the consistency reasoning on the feature model turns into the consistency reasoning on the corresponding $\mathcal{ALCQI}$ knowledge base. Especially, the latter reasoning can be automatically performed via the description logic reasoner RACER.