Ontology-based transformation and verification of UML class model
Joint Authors
Abd al-Hafiz
Abbas, Sayyid
al-Rahman, Aqil
Source
The International Arab Journal of Information Technology
Issue
Vol. 17, Issue 5 (30 Sep. 2020), pp.758-768, 11 p.
Publisher
Zarqa University Deanship of Scientific Research
Publication Date
2020-09-30
Country of Publication
Jordan
No. of Pages
11
Main Subjects
Information Technology and Computer Science
Abstract EN
Software models describe structures, relationships and features of the software system.
Especially, in Model Driven Engineering (MDE), they are considered as first-class elements instead of programming code and all software development activities move around these models.
In MDE, programming code is automatically generated by the models and models’ defects can implicitly transfer to the code.
These defects can harder to discover and rectify.
Model verification is a promising solution to the problem.
The Unified Modelling Language (UML) class model is an important part of UML and is used in both analysis and design.
However, UML only provides graphical elements without any formal foundation.
Therefore, verification of formal properties such as consistency, satisfiability and consequences are not possible in UML.
This paper mainly focuses on ontology-based transformation and verification of the UML class model elements which have not been addressed in any existing verification methods e.g.
xor association constraint, and dependencies relationships.
We validate the scalability and effectiveness of the proposed solution using various UML class models.
The empirical study shows that the proposed approach scales in the presence of the large and complex model.
American Psychological Association (APA)
Abd al-Hafiz& Abbas, Sayyid& al-Rahman, Aqil. 2020. Ontology-based transformation and verification of UML class model. The International Arab Journal of Information Technology،Vol. 17, no. 5, pp.758-768.
https://search.emarefa.net/detail/BIM-1439765
Modern Language Association (MLA)
Abd al-Hafiz…[et al.]. Ontology-based transformation and verification of UML class model. The International Arab Journal of Information Technology Vol. 17, no. 5 (Sep. 2020), pp.758-768.
https://search.emarefa.net/detail/BIM-1439765
American Medical Association (AMA)
Abd al-Hafiz& Abbas, Sayyid& al-Rahman, Aqil. Ontology-based transformation and verification of UML class model. The International Arab Journal of Information Technology. 2020. Vol. 17, no. 5, pp.758-768.
https://search.emarefa.net/detail/BIM-1439765
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 765-767
Record ID
BIM-1439765