PSCS12 — CS_OpaqueExpressionEvaluation evaluate operation return parameter has invalid multiplicities

CS_OpaqueExpressionEvaluation is a specialization of the absract Evaluation (see section 8.4.2.1 in [fUML 1.4]) class. It provides the capability to execute the behavior (see section 8.6.16.5 in [UML 2.5.1]) associated with an opaque expression.

Signature of the evaluate operation is incorrect. Indeed, the signature specifies that a Value is always returned while in the implementation of that operation clearly state that null can be returned. This implies the operation signature should be updated to be:

evalute() : Value [0..1]

CS_OpaqueExpressionEvaluation evaluate operation return parameter has invalid multiplicities

The resolution consists in updating the operation signature as well as the diagram showing this signature.