Ensuring UML Models Consistency Using the OCL Environment
Dan Chiorean, Mihai Paşca, Adrian Cârcu, Cristian Botiza, Sorin Moldovan · Electronic Notes in Theoretical Computer Science · 2004
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 denition and prove that OCL oers the support needed in managing tool peculiarities.