Operation body expression

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.