The topic of UML model consistency is becoming increasingly important. Having a tool that checks the consistency of UML models is very useful. Using the XMI standard, the consistent models can be transferred from the checker tool to any other UML tool. By means of practical examples, this paper shows that using a framework based on OCL is a valuable approach when checking UML models. The results obtained in the examples highlight some shortcomings in the UML definition and prove that OCL offers the support needed in managing tool peculiarities.
In REF , the authors have presented a practical approach to check the consistency between UML models by using OCL based on transfer UML model by using the standard XMI.
Ensuring UML Models Consistency Using the OCL Environment
Electr. Notes Theor. Comput. Sci
Computer Science