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.