Abstract
The software design model performs an important role in modern software engineering methods. Especially in Model-Driven Engineering (MDE), it is treated as an essential asset of software development; even programming language code is produced by the models. If the model has errors, then they can propagate into the code. Model verification tools check the presence of errors in the model. This paper shows how a UML class model verification tool has been built to support complex models and unsupported elements such as XOR constraints and dependency relationships. This tool uses ontology for verifying the UML class model. It takes a class model in XMI format and generates the OWL file. Performs verification of model in two steps: (1) uses the ontology-based algorithm to verify association multiplicity constraints; and (2) uses ontology reasoner for the verification of XOR constraints and dependency relationships. The results show the proposed tool improves the verification efficiency and supports the verification of UML class model elements that have not been supported by any existing tool.
Highlights
We compared the performance of the proposed approach with UMLtoCSP and UML2Alloy, which support verification of the Unified Modelling Language (UML) class model with Object Constraint Language (OCL)
Software Model verification tools are required in many software methodologies, including Model-Driven Engineering, Agile, rational unified process methodology, and so forth
The UML class model is the essential UML model, and it is used in the analysis and design
Summary
The problem addressed in this work is twofold and can be stated as follows: Firstly, current UML class model verification methods are sufficiently good to check correctness. They do not focus on some fundamental class model elements such as dependency relationships and XOR constraints. We proposed ontology-based transformation and verification of UML class model unsupported elements, that is, XOR constraints and dependency relationships. These transformations map XOR and dependency relationships to an ontology for verification of various correctness properties such as satisfiability, consistency, and consequences.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
