article

Verifying feature models using OWL

Authors:

Jeff PanAuthors Info & Claims

Web Semantics: Science, Services and Agents on the World Wide Web, Volume 5, Issue 2

Pages 117 - 129

https://doi.org/10.1016/j.websem.2006.11.006

Published: 01 June 2007 Publication History

Abstract

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.

References

[1]

Kang, K.C., Lee, J. and Donohoe, P., Feature-oriented product line engineering. IEEE Softw. v9. 58-65.

[2]

Czarnecki, K. and Eisenecker, U., Generative Programming: Methods, Tools and Applications. 2000. Addison-Wesley, MA.

[3]

K.C. Kang, S. Cohen, J. Hess, W. Nowak, S. Peterson, Feature-oriented domain analysis (FODA) feasibility study, Technical Report CMU/SEI-90TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, November 1990.

[4]

Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E. and Huh, M., FORM: a feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. v5. 143-168.

Digital Library

[5]

Griss, M., Favaro, J. and d'Alessandro, M., Integrating feature modeling with the RSEB. In: Proceedings of the Fifth International Conference on Software Reuse, pp. 76-85.

[6]

Deelstra, S., Sinnema, M. and Bosch, J., Experiences in software product families: problems and issues during product derivation. In: Nord, R.L. (Ed.), SPLC, Lecture Notes in Computer Science, vol. 3154, Springer. pp. 165-182.

[7]

D.L. McGuinness, F. van Harmelen (Eds.), OWL Web Ontology Language Overview, 2003. http://www.w3.org/TR/2003/PR-owl-features-20031215/.

[8]

Haarslev, V. and Möller, R., RACER system description. In: Proceedings of the Automated Reasoning: First International Joint Conference, No. 2083 in Lecture Notes in Computer Science, pp. 701-706.

[9]

I. Horrocks, Fact++ web site. http://owl.man.ac.uk/factplusplus/.

[10]

Evren Sirin, B.P., Pellet: an owl dl reasoner. In: Volker Haaslev, R.M. (Ed.), Proceedings of the International Workshop on Description Logics (DL2004),

[11]

Lopez-Herrejon, R.E. and Batory, D.S., A standard problem for evaluating product-line methodologies. In: Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, Springer-Verlag, Erfurt, Germany. pp. 10-24.

[12]

Turner, C., Fuggetta, A., Lavazza, L. and Wolf, A., A conceptual basis for feature engineering. J. Syst. Softw. v49. 3-15.

Digital Library

[13]

M.S. et al., Software technology for adaptable reliable system (STARS) organization domain modeling (ODM) guidebook version 2.0, Tech. Rep. STARS-VC-A025/001/00, Lockheed Martin Tactical Defense Systems, Manassas, VA, 1996.

[14]

Berners-Lee, T., Hendler, J. and Lassila, O., The Semantic Web. Sci. Am. v284 i5. 35-43.

[15]

Horrocks, I., Patel-Schneider, P.F. and van Harmelen, F., From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant. v1 i1. 7-26.

[16]

V. Haarslev, R. Möller, RACER User's Guide and Reference Manual: Version 1.7.6, 2002.

[17]

J. Gennari, M.A. Musen, R.W. Fergerson, W.E. Grosso, M. Crubezy, H. Eriksson, N.F. Noy, S.W. Tu, The evolution of protege: an environment for knowledge-based systems development, Tech. Rep. SMI-2002-0943, Stanford Medical Informatics, Stanford University, 2002.

[18]

Knublauch, H., Fergerson, R.W., Noy, N.F. and Musen, M.A., The Protégé OWL plugin: an open development environment for semantic web applications. In: Proceedings of the Third International Semantic Web Conference (ISWC 2004),

Digital Library

[19]

N. Noy, Representing classes as property values on the semantic web. http://www.w3.org/TR/2005/NOTE-swbp-classes-as-values-20050405.

[20]

M.K. Smith, C. Welty, D.L. McGuinness (Eds.), OWL Web Ontology Language Guide, 2004. http://www.w3.org/TR/2004/REC-owl-guide-20040210/.

[21]

Wang, H., Horridge, M., Rector, A., Drummond, N. and Seidenberg, J., Debugging OWL-DL Ontologies: A Heuristic Approach. In: Proceedings of the of Fourth International Semantic Web Conference (ISWC'05), Springer-Verlag, Galway, Ireland.

[22]

Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H. and Wroe, C., Owl pizzas: practical experience of teaching owl-dl: common errors and common patterns. In: Proceedings of the European Conference on Knowledge Acquistion, Lecture Notes in Computer Science, Springer-Verlag. pp. 63-81.

[23]

Holger Knublauch, A.R. and Musen, M., Editing description logic ontologies with the protégé-owl plugin International Workshop on Description Logics-DL2004. 2004.

[24]

S. Bechhoffer, The dig description logic interface: Dig/1.1, Tech. rep., The University Of Manchester, The University Of Manchester, Oxford Road, Manchester M13 9PL, 2003.

[25]

Zhu, N., Grundy, J. and Hosking, J., Pounamu: a meta-tool for multi-view visual language environment construction. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'04),

[26]

I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML, 2004. http://www.w3.org/Submission/2004/SUBM-SWRL-20040521.

[27]

H. Boley, M. Dean, B. Grosof, I. Horrocks, P. Patel-Schneider, S. Tabet, G. Wagner, SWRL FOL, 2004. http://www.daml.org/2004/11/fol/.

Cited By

Duran-Limon HVelasco-Elizondo PMora MMeda-Campana MAguilar KHernandez-Ochoa MSumuano L(2024)Verifying consistency of software product line architectures with product architecturesSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01114-423:1(195-221)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1007/s10270-023-01114-4
Horcas JGalindo JHeradio RFernandez-Amoros DBenavides D(2023)A Monte Carlo tree search conceptual framework for feature model analysesJournal of Systems and Software10.1016/j.jss.2022.111551195:COnline publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1016/j.jss.2022.111551
Pol’la MBuccella ACechich A(2021)Analysis of variability models: a systematic literature reviewSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00839-w20:4(1043-1077)Online publication date: 1-Aug-2021
https://dl.acm.org/doi/10.1007/s10270-020-00839-w
Show More Cited By

Recommendations

Translating the Foundational Model of Anatomy into OWL

The Foundational Model of Anatomy (FMA) represents the result of manual and disciplined modeling of the structural organization of the human body. It is a tremendous resource in bioinformatics that facilitates sharing of information among applications ...
Verify Feature Models using protegeowl
WWW '05: Special interest tracks and posters of the 14th international conference on World Wide Web

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 widely-adopted means of precisely representing and formally verifying feature models has hindered ...
Towards a unified visual notation for OWL ontologies: insights from a comparative user study
I-SEMANTICS '13: Proceedings of the 9th International Conference on Semantic Systems

Browsing ontologies and making sense of their concepts and relationships are important activities in knowledge engineering. They are supported by a large number of tools that often provide visual representations of the ontologies for better ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Web Semantics: Science, Services and Agents on the World Wide Web

Web Semantics: Science, Services and Agents on the World Wide Web Volume 5, Issue 2

June, 2007

100 pages

ISSN:1570-8268

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2007.

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 June 2007

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Duran-Limon HVelasco-Elizondo PMora MMeda-Campana MAguilar KHernandez-Ochoa MSumuano L(2024)Verifying consistency of software product line architectures with product architecturesSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01114-423:1(195-221)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1007/s10270-023-01114-4
Horcas JGalindo JHeradio RFernandez-Amoros DBenavides D(2023)A Monte Carlo tree search conceptual framework for feature model analysesJournal of Systems and Software10.1016/j.jss.2022.111551195:COnline publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1016/j.jss.2022.111551
Pol’la MBuccella ACechich A(2021)Analysis of variability models: a systematic literature reviewSoftware and Systems Modeling (SoSyM)10.1007/s10270-020-00839-w20:4(1043-1077)Online publication date: 1-Aug-2021
https://dl.acm.org/doi/10.1007/s10270-020-00839-w
Bhushan MNegi ASamant PGoel SKumar A(2020)A classification and systematic review of product line feature model defectsSoftware Quality Journal10.1007/s11219-020-09522-128:4(1507-1550)Online publication date: 1-Dec-2020
https://dl.acm.org/doi/10.1007/s11219-020-09522-1
Fernandez-Amoros DHeradio RMayr-Dorn CEgyed A(2019)A Kconfig Translation to Logic with One-Way Validation SystemProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336313(303-308)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336313
Ha HZhang HAtlee JBultan TWhittle J(2019)DeepPerfProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00113(1095-1106)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE.2019.00113
Qin CZhang YHu MChu HWang L(2018)Image Segmentation Based on Semantic Knowledge and Hierarchical Conditional Random FieldsPattern Recognition and Computer Vision10.1007/978-3-030-03398-9_19(213-225)Online publication date: 23-Nov-2018
https://dl.acm.org/doi/10.1007/978-3-030-03398-9_19
Zand MDoraisamy SAbdul Halin AMustaffa M(2016)Ontology-Based Semantic Image Segmentation Using Mixture Models and Multiple CRFsIEEE Transactions on Image Processing10.1109/TIP.2016.255240125:7(3233-3248)Online publication date: 19-May-2016
https://dl.acm.org/doi/10.1109/TIP.2016.2552401
Afzal UMahmood TShaikh Z(2016)Intelligent software product line configurationsComputer Standards & Interfaces10.1016/j.csi.2016.03.00348:C(30-48)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1016/j.csi.2016.03.003
Bécan GAcher MBaudry BNasr S(2016)Breathing ontological knowledge into feature model synthesisEmpirical Software Engineering10.1007/s10664-014-9357-121:4(1794-1841)Online publication date: 1-Aug-2016
https://dl.acm.org/doi/10.1007/s10664-014-9357-1
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents