Use of a Constraint Language

The specification uses the Object Constraint Language (OCL), as defined in Chapter 6, “Object Constraint Language Specification” of the UML 1.4 specification, for expressing well-formedness rules. The following conventions are used to promote readability: