Uml - diagramas

I would like to thank Dr. Alessandra Russo for supervising my project. Her immense enthusiasm and guidance throughout the whole period has enabled me to produce a project that should be of use to the software community. I would also like to thank Dr. Krysia Broda for her general advice and criticisms which have helped me to refine my project ideas, inevitably leading to a more complete project. Finally, I’d like to thank Jos Warmer and Anneke Kleppe for their continual efforts in developing OCL, and promoting it to the wider community.

i

“The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artifacts of software systems, as well as for business modelling and other nonsoftware systems. The UML represents a collection of best engineering practices that have proven successful in the modelling of large and complex systems.”
Rational Software Corporation

“The Object Constraint Language (OCL) is an expression language that enables one to describe constraints on object-oriented models and other object modelling artefacts.”
Anneke Kleppe This project involves the design and implementation of a tool which allows the user to create UML class diagrams, to add OCL constraints and to facilitate a series of consistency checks across both of these inputs.

ii

1.1 2.1 2.2 2.3 2.4 3.1 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 4.10 4.11 4.12 4.13 6.1 6.2 6.3 6.4 6.5 6.6 7.1 7.2 7.3 7.4 7.5 7.6 7.7 7.8 8.1 8.2 8.3 9.1 9.2 9.3

‘Person’ class diagram Basic Structure of an OCL file ‘Account’ class diagram Typical XML representation of the Account class Screenshot of UML class diagrams created using ‘Rational Rose’ The main stages and data flows involved in our system The UML construct data structures The Project Data Structure Main layout of Rational Rose Main layout of Borland JBuilder Layout sketch for user interface Project Structure using a Directory Tree Main library classes involved in the directory tree