Conformance


The UML 2.0 Infrastructure and the MOF 2.0 Core submissions that are being developed in parallel with this OCL 2.0 submission share a common core. The OCL specification contains a well-defined and named subset of OCL that is defined purely based on the common core of UML and MOF. This allows this subset of OCL to be used with both the MOF and the UML, while the full specification can be used with the UML only.

The following compliance points are distinguished for both parts.
  1. Syntax compliance. The tool can read and write OCL expressions in accordance with the grammar, including validating its type conformance and conformance of well-formedness rules against a model.
  2. XMI compliance. The tool can exchage OCL expressions using XMI.
  3. Evaluation compliance. The tool evaluates OCL expressions in accordance with the semantics chapter. The following additional compliance points are optional for OCL evaluators, as they are dependent on the technical platform on which they are evaluated.
The following table shows the possible compliance points. Each tools is expected to fill in this table to specify which compliance point are supported.

Table 1. Overview of OCL compliance points


OCL-MOF subset Full OCL
Syntax

XMI

Evaluation

- allInstances

- @pre in postcondtions

- OclMessage

- navigating non-navigable associations

- accessing proivate and protected features