Open Access iconOpen Access

ARTICLE

crossmark

Ontology-Based Verification of UML Class Model XOR Constraint and Dependency Relationship Constraints

Asadullah Shaikh1,*, Abdul Hafeez2, M. A. Elmagzoub1, Abdullah Alghamdi1, Ansar Siddique3, Basit Shahzad4

1 Department of Information Systems, Najran University, Najran, 61441, Saudi Arabia
2 Department of Computer Science, SMI University, Karachi, 76400, Pakistan
3 Department of Software Engineering, University of Gujrat, Gujrat, 50700, Pakistan
4 Department of Software Engineering, National University of Modern Languages (NUML), Islamabad, 44020, Pakistan

* Corresponding Author: Asadullah Shaikh. Email: email

(This article belongs to the Special Issue: Soft Computing Methods for Innovative Software Practices)

Intelligent Automation & Soft Computing 2021, 27(2), 565-579. https://doi.org/10.32604/iasc.2021.015071

Abstract

Unified Modeling Language (UML) models are considered important artifacts of model-driven engineering (MDE). This can automatically transform models to other paradigms and programming languages. If a model has bugs, then MDE can transfer these to a new code. The class model is a key component of UML that is used in analysis and design. Without a formal foundation, UML can create only graphical diagrams, making it impossible to verify properties such as satisfiability, consistency and consequences. Different techniques have been used to verify UML class models, but these do not support some important components. This paper transforms and verifies unsupported components such as XOR association constraints and dependency relationships of a UML class model through ontology. We use various UML class models to validate the proposed ontology-based method, easy and efficient transformation and verification of unsupported elements. The results show this approach can verify large and complex models.

Keywords


Cite This Article

APA Style
Shaikh, A., Hafeez, A., Elmagzoub, M.A., Alghamdi, A., Siddique, A. et al. (2021). Ontology-based verification of UML class model XOR constraint and dependency relationship constraints. Intelligent Automation & Soft Computing, 27(2), 565-579. https://doi.org/10.32604/iasc.2021.015071
Vancouver Style
Shaikh A, Hafeez A, Elmagzoub MA, Alghamdi A, Siddique A, Shahzad B. Ontology-based verification of UML class model XOR constraint and dependency relationship constraints. Intell Automat Soft Comput . 2021;27(2):565-579 https://doi.org/10.32604/iasc.2021.015071
IEEE Style
A. Shaikh, A. Hafeez, M.A. Elmagzoub, A. Alghamdi, A. Siddique, and B. Shahzad, “Ontology-Based Verification of UML Class Model XOR Constraint and Dependency Relationship Constraints,” Intell. Automat. Soft Comput. , vol. 27, no. 2, pp. 565-579, 2021. https://doi.org/10.32604/iasc.2021.015071

Citations




cc Copyright © 2021 The Author(s). Published by Tech Science Press.
This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 2484

    View

  • 1579

    Download

  • 2

    Like

Share Link