-
Key: OCL25-217
-
Status: open
-
Source: Model Driven Solutions ( Dr. Edward Willink)
-
Summary:
The new OCL for UML 2.5.1 seems not to have been checked by any tool; shame on you. There are two syntax errors:
OpaqueExpression-only_in_or_return_parameters-specification makes use of ParameterDirectionKind::in but 'in' is a reserved word and so it must be escaped as in other similar constraints. Change to ParameterDirectionKind::'in'
Lifeline-interaction_uses_share_lifeline-_specification has a Bag rather than Boolean argument for the final implies. Perhaps the select(...) should be followed by a ->notEmpty() or the select(...) could be an exists(...)
-
Reported: UML 2.5.1 — Tue, 5 May 2020 16:55 GMT
-
Updated: Tue, 5 May 2020 16:55 GMT
OCL25 — UML 2.5.1 embedded OCL syntax errors
- Key: OCL25-217
- OMG Task Force: Object Constraint Language 2.5 RTF