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.
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.
XMI compliance. The tool can exchage OCL expressions using XMI.
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.
allInstances()
pre-values and oclIsNew() in
postconditions
OclMessage
navigating across non-navigable
associations
accessing private and protected features
of an object
The following table shows the possible compliance points. Each tools is
expected to fill in this table to specify which compliance point are
supported.