Open AccessOntology-Based Transformation and Verification of UML/OCL Constraints
Author(s) -
Abdul Hafeez,
Asif Ali Wagan,
Aamir Iqbal Umrani,
Samreen Javed
Publication year - 2021
Publication title -
sukkur iba journal of computing and mathematical sciences
Language(s) - English
Resource type - Journals
eISSN - 2522-3003
pISSN - 2520-0755
DOI - 10.30537/sjcms.v5i2.840
Subject(s) - class diagram , computer science , unified modeling language , ontology , object constraint language , model transformation , programming language , ontology based data integration , uml tool , applications of uml , class (philosophy) , sparql , software engineering , software , information retrieval , artificial intelligence , rdf , process (computing) , semantic web , philosophy , consistency (knowledge bases) , epistemology
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.