Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.entcs.2003.09.005 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
metamodel,ensuring uml models consistency,model consistency checking,ocl environment,ocl,xmi,uml,consistency model | UML tool,Software engineering,Unified Modeling Language,Computer science,Theoretical computer science,Applications of UML,Object Constraint Language,Database | Journal |
Volume | ISSN | Citations |
102, | Electronic Notes in Theoretical Computer Science | 36 |
PageRank | References | Authors |
3.35 | 2 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dan Chiorean | 1 | 72 | 11.44 |
Mihai Paşca | 2 | 36 | 3.35 |
Adrian Cârcu | 3 | 36 | 3.35 |
Cristian Botiza | 4 | 36 | 3.35 |
Sorin Moldovan | 5 | 36 | 3.35 |