Skip to main content
SpringerLink
Log in

Semantic Validation of UML Class Diagrams with the Use of Domain Ontologies Expressed in OWL 2

  • Conference paper
  • First Online:
Software Engineering: Challenges and Solutions

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 504))

Abstract

The article proposes an algorithmic method for semantic validation of UML class diagrams. The method checks the compliance of the diagrams with the field described by the domain ontology expressed in OWL 2. More specifically, it allows for an automatic validation if all diagram elements and their relationships are contained or at least are not contradictory with the domain knowledge extracted from the selected domain ontology. A semantic correctness of UML class diagrams can be partly validated without involving domain experts in the process of validation of the diagrams.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    HermiT OWL Reasoner website: http://www.hermit-reasoner.com.

  2. 2.

    Pellet website: https://github.com/Complexible/pellet.

  3. 3.

    Visual Paradigm for UML website: https://www.visual-paradigm.com.

  4. 4.

    Some examples of online OWL databases and libraries are as follows: The OBO Foundry database: http://www.obofoundry.org/, Information Systems Group Ontologies: http://www.cs.ox.ac.uk/isg/ontologies/, Protege Ontology Library: http://protegewiki.stanford.edu/wiki/Protege_Ontology_Library.

References

  1. OMG, Unified Modeling Language,Version 2.5, Doc. No.: ptc/2013-09-05 (2015). http://www.omg.org/spec/UML/2.5

  2. Niittgens, M., Fold, T., Zimmermann, V.: Business process modeling with EPC and UML: transformation or integration. In: Schader, M., Korthaus, A. [36], pp. 250–261 (1998)

    Google Scholar 

  3. Lindland, O.I., Sindre, G., Solvberg, A.: Understanding quality in conceptual modeling. Softw. IEEE 11(2), 42–49 (1994)

    Article  Google Scholar 

  4. OWL 2 Web Ontology Language. Direct Semantics (Second Edition). W3c Recommendation 11 December 2012 (2012). http://www.w3.org/tr/owl2-syntax/

  5. Atkinson, C., Kiko, K.: A detailed comparison of UML and OWL. Technischer Bericht 4, Department of Mathematics and Computer Science. University of Mannheim (2008)

    Google Scholar 

  6. Parreiras, F.S., Staab, S., Winter, A.: On marrying ontological and metamodeling technical spaces. In: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 439–448. ACM (2007)

    Google Scholar 

  7. OWL 2 Web Ontology Language Document Overview (Second Edition). W3c Recommendation 11 December 2012 (2012). https://www.w3.org/tr/owl2-overview/

  8. Huzar, Z., Sadowska, M.: Towards creating complete business process models. In Chapter 5 In: From Requirements to Software: Research and Practice, pp. 77–86 (2015)

    Google Scholar 

  9. Bahaj, M., Bakkas, J.: Automatic conversion method of class diagrams to ontologies maintaining their semantic features. Int. J. Soft Comput. Eng. (IJSCE) 2 (2013)

    Google Scholar 

  10. Belghiat, A., Bourahla, M.: Transformation of uml models towards owl ontologies. In: 2012 6th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), pp. 840–846. IEEE (2012)

    Google Scholar 

  11. Jesper, Z., Luttenberger, N.: Conceptual modelling in UML and OWL-2. Int. J. Adv. Soft. 7(1 & 2) (2014)

    Google Scholar 

  12. Khan, A.H., Porres, I.: Consistency of uml class, object and statechart diagrams using ontology reasoners. J. Vis. Lang. Comput. 26, 42–65 (2015)

    Article  Google Scholar 

  13. Zedlitz, J., Jörke, J., Luttenberger, N.: From UML to OWL 2. In: Knowledge Technology, pp. 154–163. Springer, Berlin (2012)

    Google Scholar 

  14. Zedlitz, J., Luttenberger, N.: Transforming between uml conceptual models and owl 2 ontologies. In: Terra Cognita 2012 Workshop, vol. 6, p. 15 (2012)

    Google Scholar 

  15. Zedlitz, J., Luttenberger, N.: Data types in UML and OWL-2. In: Presented at the Semapro 2013: The Seventh International Conference on Advances in Semantic Processing (2013)

    Google Scholar 

  16. Felfernig, A., Friedrich, G.E., Jannach, D.: UML as domain specific language for the construction of knowledge-based configuration systems. Int. J. Soft. Eng. Knowl. Eng. 10(04), 449–469 (2000)

    Article  Google Scholar 

  17. Unhelkar, B.: Verification and validation for quality of UML 2.0 models, vol. 42. Wiley (2005)

    Google Scholar 

  18. Bertolino, A., De Angelis, G., Di Sandro, A., Sabetta, A.: Is my model right? Let me ask the expert. J. Syst. Softw. 84(7), 1089–1099 (2011)

    Article  Google Scholar 

  19. Letelier, P., Snchez, P.: Validation of UML classes through animation. In: Advanced Conceptual Modeling Techniques, pp. 300–311. Springer, Berlin (2002)

    Google Scholar 

  20. OWL 2 Web Ontology Language: Profiles. W3c Working Draft 11 April 2008 (2008). https://www.w3.org/tr/2008/wd-owl2-profiles-20080411/

  21. Gherabi, N., Bahaj, M.: A new method for mapping UML class into OWL ontology. Spec. Issue Int. J. Comput. Appl. (0975 8887) Soft. Eng. Databases Expert Syst. SEDEXS 5–9 (2012)

    Google Scholar 

  22. OWL 2 Web Ontology Language Profiles (Second Edition). W3c Recommendation 11 December 2012 (2008). https://www.w3.org/tr/owl2-profiles/

  23. OWL Web Ontology Language. Test Cases. W3c Recommendation 10 February 2004 (2004). https://www.w3.org/tr/owl-test/#consistencychecker

  24. Ga, D., Djuric, D., Deved, V.: Model Driven Architecture and Ontology Development. Springer Science & Business Media (2006)

    Google Scholar 

  25. Parreiras, F.S., Staab, S., Ebert, J., Pan, J.Z., Miksa, K., Kühn, H., Zivkovic, S., Tinella, S., Assmann, U., Henriksson, J.: Semantics of software modeling. Semant. Comput. pp. 229–247 (2010)

    Google Scholar 

  26. Gailly, F., Poels, G.: Ontology-driven business modelling: improving the conceptual representation of the REA ontology. In: Conceptual Modeling-ER 2007, pp. 407–422. Springer, Berlin (2007)

    Google Scholar 

  27. Hnatkowska, B., Huzar, Z., Dubielewicz, I., Tuzinkiewicz, L.: Problems of SUMO-like ontology usage in domain modelling. In: Intelligent Information and Database Systems, pp. 352–363. Springer international publishing edn. (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Wrocław, Poland

    Małgorzata Sadowska & Zbigniew Huzar

Authors
  1. Małgorzata Sadowska
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zbigniew Huzar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Małgorzata Sadowska .

Editor information

Editors and Affiliations

  1. Faculty of Computer Science and Mgmt, Wroclaw Univ of Tech Faculty of Computer Science and Mgmt, Wroclaw, Poland

    Lech Madeyski

  2. Faculty of Electrical Engineering, Warsaw University of Technology Faculty of Electrical Engineering, Warsaw, Poland

    Michał Śmiałek

  3. Faculty of Computer Science and Manageme, Wroclaw University of Technology Faculty of Computer Science and Manageme, Wrocław, Poland

    Bogumiła Hnatkowska

  4. Faculty of Computer Science and Manageme, Wroclaw University of Technology Faculty of Computer Science and Manageme, Wroclaw, Poland

    Zbigniev Huzar

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing Switzerland

About this paper

Cite this paper

Sadowska, M., Huzar, Z. (2017). Semantic Validation of UML Class Diagrams with the Use of Domain Ontologies Expressed in OWL 2. In: Madeyski, L., Śmiałek, M., Hnatkowska, B., Huzar, Z. (eds) Software Engineering: Challenges and Solutions. Advances in Intelligent Systems and Computing, vol 504. Springer, Cham. https://doi.org/10.1007/978-3-319-43606-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-43606-7_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-43605-0

  • Online ISBN: 978-3-319-43606-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation