OCL - OCL (1.4) Object Constraint Language Official part of...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
OCL (1.4) • O bject C onstraint L anguage • Official part of UML • Strongly typed declarative specification of system properties • Assertions plus collection classes plus a notation for navigating in UML diagrams • Supported by Rational Rose, ArgoUML, Poseidon/Octopus, Enterprise Architect
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Why? • UML diagrams, as a graphical language, are limited in what they can express –UML is primarily concerned with structural relationships –It needs a mechanism for specifying semantics • Class invariants • Operation pre and post conditions • Guards on state-machine transitions
Background image of page 2
Overview • Pure expression language – Focus on values; no side effects expressible • Declarative not procedural – No control flow mechanisms • Strongly typed – Built-in types plus types introduced in diagrams • Complements rather than replaces diagrams
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Format context is a keyword – Think of it as specifying the current position from which relative path names are derived • <identifier> is a class or operation name
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/11/2010 for the course CS- 6505 taught by Professor Venkat during the Spring '09 term at Georgia Institute of Technology.

Page1 / 13

OCL - OCL (1.4) Object Constraint Language Official part of...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online