Ensuring UML Models Consistency Using the OCL Environment | Zendy

Dan Chiorean | Zendy; Mihai Paşca | Zendy; Adrian Cârcu | Zendy; Cristian Botiza | Zendy; Sorin Moldovan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Ensuring UML Models Consistency Using the OCL Environment

Author(s) -

Dan Chiorean,

Mihai Paşca,

Adrian Cârcu,

Cristian Botiza,

Sorin Moldovan

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.09.005

Subject(s) - unified modeling language , applications of uml , computer science , object constraint language , uml tool , consistency (knowledge bases) , programming language , software engineering , artificial intelligence , software

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research