ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Ontology-Based Transformation and Verification of UML Qualified Association

Journal: International Journal of Advanced Trends in Computer Science and Engineering (IJATCSE) (Vol.10, No. 1)

Publication Date:

Authors : ;

Page : 164-167

Keywords : Ontology; Model Verification; Class model; Verification Tool; MDE;

Source : Downloadexternal Find it from : Google Scholarexternal

Abstract

UML class model is an essential element of today's software development process. In modern software development methodologies, it is considered a key contributor in every phase of software development. It may be automatically converted into other UML models and even in programming code. However, the erroneous model generates other erroneous models. The model verification technique checks the presence of error in the UML class model. This paper's main objective is to introduce a technique for the completely automatic and expressive transformation of the UML class model's qualified association into ontology. Because the current verification method does not support the transformation and verification of qualified associations. Later on, the ontology-based reasoning method is presented to verify qualified associations and their constraints.

Last modified: 2021-02-18 18:50:24