Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
A conceptual basis for feature engineering
Journal of Systems and Software
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Feature-Oriented Project Line Engineering
IEEE Software
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Integrating Feature Modeling with the RSEB
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Pounamu: A Meta-Yool for Multi-View Visual Language Environment Construction
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Debugging OWL-DL ontologies: a heuristic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Applying semantic web technology to feature modeling
Proceedings of the 2009 ACM symposium on Applied Computing
Towards systematic ensuring well-formedness of software product lines
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Semantic templates for case-based reasoning systems
The Knowledge Engineering Review
Automated analysis of feature models 20 years later: A literature review
Information Systems
Bridging software languages and ontology technologies: tutorial summary
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Configuring software product line feature models based on Stakeholders' soft and hard requirements
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Assessing the maintainability of software product line feature models using structural metrics
Software Quality Control
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Bringing semantics to feature models with SAFMDL
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering
An approach for semantic enrichment of software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Reasoning of feature models from derived features
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Safe adaptation in context-aware feature models
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Modeling and validation of business process families
Information Systems
Towards detecting redundancy in domain engineering process using first order logic rules
International Journal of Knowledge Engineering and Soft Data Paradigms
Automated generation of computationally hard feature models using evolutionary algorithms
Expert Systems with Applications: An International Journal
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also show that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should be fully automated and efficient. At the same time, the reasoning tool should scale up well since it may need to handle hundreds or even thousands of features a that modern software systems may have. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies. We use OWL DL ontologies to precisely capture the inter-relationships among the features in a feature diagram. OWL reasoning engines such as FaCT++ are deployed to check for the inconsistencies of feature configurations fully automatically. Furthermore, a general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement our verification approach. We also developed a CASE tool to facilitate visual development, interchange and reasoning of feature diagrams in the Semantic Web environment.