Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3273, Issue , 2004, Pages 188-196

  Bauerdick, Hanna ^a   Gogolla, Martin ^a   Gutsche, Fabian ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; ERROR DETECTION; ERRORS; MODELING LANGUAGES;

BASED SPECIFICATION; EXPERIENCE REPORT; META MODEL; OBJECT CONSTRAINT LANGUAGE; STATISTICAL INFORMATION; TOOL USE; TYPECHECKING; WELL FORMEDNESS RULES;

UNIFIED MODELING LANGUAGE;

EID: 35048878773     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30187-5_14     Document Type: Article

References (7)

1. Hanna Bauerdick, Martin Gogolla and Fabian Gutsche. UML 2.0 Validation Results in Form of an EXCEL, PDF, AND USE File. University of Bremen. 2004. ftp://ftp.Informatik.uni-bremen.de/local/db/papers/uml2004/ ocl_uml2. [xls|pdl|use] .
2. IBM Corporation, Rational Software: Rational Rose, http://www.rational. com.
3. Mark Richters and Martin Gogolla. Validating UML Models and OCL Constraints. In Andy Evans, Stuart Kent and Bran Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard. Proc. 3rd International Conference, LNCS 1939, pages 265-277. Springer, 2000.
4. Jim Rumbaugh, Ivar Jacobson and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 2nd Edition, 2004.
5. OMG. Unified Modeling Language Specification, Version 1.5, March 2003. Object Management Group, Inc., Needham, MA, http://www.omg.org, 2003.
6. OMG. UML 2.0 Superstructure Specification. Version ptc/03-08-02. Object Management Group, Inc., Needham, MA, http://www.omg.org, 2003.
7. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 2nd Edition, 2003.