Ontology-Based Transformation and Verification of UML/OCL Constraints

Authors

  • Abdul Hafeez Sindh Madressatul Islam University
  • Asif Ali Wagan Sindh Madressatul Islam University
  • Aamir Iqbal Umrani Sindh Madressatul Islam University
  • Samreen Javed Sindh Madressatul Islam University

DOI:

https://doi.org/10.30537/sjcms.v5i2.840

Abstract

In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities. This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology in the continuity of our research on UML and ontology integration. The class diagram is transformed into ontology, and constraints specified through OCL are transformed into SPARQL.

Downloads

Download data is not yet available.

Downloads

Published

2021-12-28

Issue

Vol. 5 No. 2 (2021): Sukkur IBA Journal of Computing and Mathematical Sciences-SJCMS

Section

Research Articles

License

Copyright (c) 2021 Sukkur IBA Journal of Computing and Mathematical Sciences

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

The SJCMS holds the rights of all the published papers. Authors are required to transfer copyrights to journal to make sure that the paper is solely published in SJCMS, however, authors and readers can freely read, download, copy, distribute, print, search, or link to the full texts of its articles and to use them for any other lawful purpose.


The SJCMS is licensed under Creative Commons Attribution-NonCommercial 4.0 International License.