A body expression is an expression that may be linked to to an
Operation
of a Classifier, that is marked Query operation.
An OCL expression acting as the body of an operation must conform to
the result type of the operation. Evaluating the body expression gives
the result of the operation at a certain point in time.
Note The placement of an
operation body expression is dependent
upon the UML 2.0 metamodel. So are the well-formedness rules for this
case.