Ensuring UML models consistency using the OCL environment

Electronic Notes in Theoretical Computer Science

Volumn 102, Issue , 2004, Pages 99-110

  Chiorean, Dan ^a   Paşca, Mihai ^a   Cârcu, Adrian ^a   Botiza, Cristian ^a   Moldovan, Sorin ^a  

^a BABE BOLYAI UNIVERSITY   (Romania)

Author keywords

Metamodel; Model consistency checking; OCL; UML; XMI

Indexed keywords

MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS; SOFTWARE ENGINEERING; STANDARDS;

METAMOEDL; MODEL CONSISTENCY CHECKING; OCL; UML; XMI;

COMPUTER PROGRAMMING LANGUAGES;

EID: 23844477998     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2003.09.005     Document Type: Conference Paper

References (16)

1. Dan Chiorean, Adrian Cârcu, Mihai Pasca, Cristian Botiza, etc., UML Model Checking, Studia Univ. "Babes-Bolyai" 1 (2002), 71-88.
2. T. Kielland, J. A. Borrentzen, UML Consistency Checking, Research Report, Institutt for datateknikk og informasjonsvitenskap, Oslo, Norway.
3. Michael Moors, Consistency Checking, Rose Architect, Spring Issue, April 2000, http://www.therationaledge.com/rosearchitect/mag/index.html.
4. C. Nentwich, L. Capra, W. Emmerich A. Finkelstein, xlinkit: A Consistency Checking and Smart Link Generation Service, (White Paper), Department of Computer Science, University College London, England, http://www.xLinkit.com/ whitepapers.html.
5. Mark Richters, Martin Gogolla, Validating UML Models and OCL Constraints, Proc. 3rd International Conference on the Unified Modeling Language (UML), Springer-Verlag, 2000.
6. UML 1.5 March 2003 version, 03-03-01.pdf, http://omg.org/technology/uml/ index.
7. Warmer J, Kleppe A., The Object Constraint Language, Addison Wesley, 1999.
8. Warmer J, Kleppe A., The Object Constraint Language Getting your models ready for MDA, Addison Wesley, 2003.
9. MMT Tool, http://www.puml.org.
10. KMF Tool, http://www.cs.kent.ac.uk/people/staff/sjk/kmf/tools.html.
11. xLinkit Tool, http://systemwire.com/xlinkit/.
12. USE Tool, http://db.informatik.uni-bremen.de.projects/USE.
13. MagicDraw Tool, http://www.magicdraw.com/.
14. Objecteering Tool, http://www.objecteering.com/.
15. Together Tool, http://www.borland.com/together/controlcenter/index.html.
16. OCLE Tool, http://lci.cs.ubbcluj.ro/OCLE.