Source: Commissariat a l Energie Atomique-CEA ( Jeremie Tatibouet)
CS_OpaqueExpressionEvaluation is a specialization of the absract Evaluation (see section 18.104.22.168 in [fUML 1.4]) class. It provides the capability to execute the behavior (see section 22.214.171.124 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]
Reported: PSCS 1.1 — Sun, 9 Sep 2018 10:37 GMT
Disposition: Resolved — PSCS 1.2
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.
Updated: Tue, 18 Dec 2018 21:02 GMT
PSCS12 — CS_OpaqueExpressionEvaluation evaluate operation return parameter has invalid multiplicities
- Key: PSCS12-7
- OMG Task Force: Precise Semantics of UML Composite Structures 1.2 RTF