Ontology-Based Verification of UML Class/OCL Model

  • Abdul Hafeez Department of Computer Science, Hamdard University, Karachi.
  • Syed Hyder Abbas Musavi Faculty of Engineering Science and Technology, Indus University, Karachi.
  • Aqeel -ur- Rehman Department of Computer Science, Hamdard University, Karachi


Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements. In MDE, the code is automatically generated from the model and model errors can implicitly shift into the code, which are difficult to find and fix. Model verification is a promising solution to this problem. However, coverage of all facets of model verification is a painful job and existing formal/semi-formal verification methods are greatly inspired by mathematics and difficult to understand by the software practitioners. This work considers particularly UML Class/OCL (Unified Modeling Language Class/Object Constraint Language) model and presents an ontology-based verification method. In the proposed method, a class diagram is transformed into ontology specified in OWL (Web Ontology Language) and constraints into SPARQL NAF (Negation as Failure) queries. This work tries to demonstrate that the proposed approach can efficiently cover all aspects of UML Class/OCL model verification.

Oct 1, 2018
How to Cite
HAFEEZ, Abdul; ABBAS MUSAVI, Syed Hyder; REHMAN, Aqeel -ur-. Ontology-Based Verification of UML Class/OCL Model. Mehran University Research Journal of Engineering and Technology, [S.l.], v. 37, n. 4, p. 521-534, oct. 2018. ISSN 2413-7219. Available at: <http://publications.muet.edu.pk/index.php/muetrj/article/view/560>. Date accessed: 18 apr. 2019. doi: http://dx.doi.org/10.22581/muet1982.1804.07.
This is an open Access Article published by Mehran University of Engineering and Technolgy, Jamshoro under CCBY 4.0 International License