Notes on reading the OCL spec
Required reading for this course includes Chapter 7,
OCL Language
Description of the OMG OCL specification version 2.4.
However, some subsections of it are less important than others. You may
leave out the following subsections if you wish: I will not examine them.
- 7.3.5 (Package context) -7.3.8 (Other types of expressions) inclusive;
- 7.4.4 (Additional operations...);
- in 7.5.3, from "Missing association names" on p19 (p35 of the PDF);
start again on p20 (p36) at "Navigation over associations...".
- 7.5.4 (Navigation to association classes) -7.5.7 (Using pathnames for packages) inclusive
- 7.6.5 (Closure operation), 7.6.6 (Iterate operation)
- 7.7 (Messages in OCL)
- 7.8 (Resolving properties)
Also, I will not expect you to know details of:
- UnlimitedNatural
- OrderedSet
- Tuple
or anything about out or in/out parameters to operations (as opposed to the
usual kind of parameters which are known as in parameters), MOF as it
relates to OCL (it may come up later in the context of model-driven
development though) or Unicode.
This page is maintained by
Perdita Stevens (
perdita@inf.ed.ac.uk
)