Verifying feature models using OWL

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.

[1]  Alexander L. Wolf,et al.  A conceptual basis for feature engineering , 1999, J. Syst. Softw..

[2]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[3]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[4]  Alan L. Rector,et al.  Debugging OWL-DL Ontologies: A Heuristic Approach , 2005, SEMWEB.

[5]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[6]  Alan L. Rector,et al.  Editing Description Logic Ontologies with the Protégé OWL Plugin , 2004, Description Logics.

[7]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[8]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[9]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[10]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[11]  Kang G. Shin,et al.  A distributed real-time operating system , 1992, IEEE Software.

[12]  Jan Bosch,et al.  Proceedings of the Third International Conference on Generative and Component-Based Software Engineering , 2001 .

[13]  M. Simos,et al.  Software Technology for Adaptable Reliable Systems (STARS). Organization Domain Modeling (ODM) Guidebook, Version 1.0. , 1995 .

[14]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[15]  Roberto Erick Lopez-Herrejon,et al.  A Standard Problem for Evaluating Product-Line Methodologies , 2001, GCSE.

[16]  Marco Sinnema,et al.  Experiences in Software Product Families: Problems and Issues During Product Derivation , 2004, SPLC.

[17]  John C. Grundy,et al.  Pounamu: A Meta-Yool for Multi-View Visual Language Environment Construction , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[18]  Jaejoon Lee,et al.  FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..

[19]  Martin L. Griss,et al.  Integrating Feature Modeling with the RSEB Proceedings of Fifth International Conference on Software Reuse, Victoria, B.C., 1998 , 1998 .

[20]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[21]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[22]  Martin L. Griss,et al.  Integrating feature modeling with the RSEB , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[23]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[24]  Henrik Eriksson,et al.  The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..

[25]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.