Ontology-Based Transformation and Verification of UML/OCL Constraints
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.
Copyright (c) 2021 Sukkur IBA Journal of Computing and Mathematical Sciences
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.