scholar.google.com › citations
The transformation component is responsible for transforming the UML class model into the ontology, so the proposed method can be implemented. The reasoning component is in charge of the verification of the UML class model. Finally, the feedback component generates feedback on the verification result.
This paper transforms and verifies unsupported components such as XOR association constraints and dependency relationships of a UML class model through ontology ...
Jun 10, 2021 · This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of ...
This paper mainly focuses on ontology-based transformation and verification of the UML class model elements which have not been addressed in any existing ...
Abstract Software models describe structures, relationships and features of the software system. Especially, in Model Driven Engineering (MDE), ...
method performs transformation and verification of qualified association of UML class model through ontology. This transformation map qualified associations ...
Dec 28, 2021 · This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from ...
This paper transforms and verifies unsupported components such as XOR association constraints and dependency relationships of a UML class model through ontology ...
This paper's main objective is to introduce a technique for the completely automatic and expressive transformation of the UML class model's qualified ...
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 ...
People also ask
What are the three perspectives to apply UML?
What does UML stand for United Modelling Language Umbrello Unified Modelling Language United Model Lab?