Sunday, Morning
The UML's Object Constraint Language (OCL) – Precise Specification of Components
Convention Ctr – 201B
Jos Warmer and Anneke Kleppe, Klasse Objecten

As the use of UML grows and UML is applied to more fields of software and systems engineering, the need for more precise specifications grows. This is crucial, for example, when generating code or test cases from specifications. In the component-based world we need to be able to specify the behavior of components in a very precise way. This enables us to know whether components are plug-compatible and can work together.

For these purposes UML’s Object Constraint Language is becoming popular as a standardized and language independent specification mechanism. This tutorial shows the importance of constraints as an object-oriented specification technique and how they add value to the visual modeling techniques of UML. The OCL language itself and the connection with the visual UML diagrams are thoroughly explained. The final part of the tutorial will show how one can apply constraint modeling in UML to achieve the above-described goals.

After this tutorial, the attendees will be able to understand the added value of constraints for their modeling and component based work. They will understand UML’s Object Constraint Language and know how it integrates with UML diagrams.

Presentation Format: The tutorial is a mixture of presentation and small exercises.

Attendee Background: The tutorial is targeted to people who have experience with analysis and design methods like UML.

Jos Warmer has been active in the OT community since 1985. Currently he is working at Klasse Objecten as a senior consultant. He used to work within IBM’s European Object Technology Practice (OTP). Jos co-authored the UML 1.1 proposal for the OMG. He is still responsible for the UML Object Constraint Language with the OMG’s UML core team. He is the chief architect of OCL.

Anneke Kleppe has over ten years of experience with object technology. Currently she is an independent consultant in the area of object technology within her own company called Klasse Objecten (in English that would translate to “Class Objects”). Her job is to coach and train companies working with object technology. Some of the companies she has worked for are PTT Telecom, NCR Nederland NV, IBM Education and Training, and the Dutch government.

Anneke Kleppe and Jos Warmer are the authors of “The Object Constraint Language: Precise Modeling with UML,” part of the Addison Wesley’s OT series. They also authored two Dutch books: “Praktisch OMT” and “Praktisch UML” (translated: Practical UML), on OMT and UML. All books are published by Addison-Wesley.

Tutorials
at a Glance
Tutorials by Track
Full Description
of all Tutorials
Final Program

 OOPSLA'98 Home