Abstract Syntax
This section describes the abstract syntax of the OCL. In this abstract
syntax a number of metaclasse from the UML metamodel are
imported. These metaclasses are shown in the models with the annotation
'(from <UML package>)' and shown with a transparant fill
color. All metaclasses defined as part of the OCL abstract syntax are
shown with a light gray background.
Introduction
The abstract syntax as described below defines the concepts that are
part of the OCL using a MOF compliant metamodel.
The abstract syntax is divided into several packages.
- The Types package describes the concepts that define the
type system of OCL. It shows which types are predefined in OCL
and which types are deduced from the UML models.
- The Expressions package describes the structure of OCL
expressions.