Legacy Issue Number: 3149
Source: OpenModeling ( Jos Warmer)
There are some examples of OCL expressions with type errors.
For example, in section 7.4.4. there is an OCL expression:
1 + 'motorcycle'
of which it is said that it is invalid because type Integer does
not conform to type String. The conclusion is correct, but the reason
for the expression above being invalid is entirely different.
The reason for it is that type String does not confirm to type Real!
Rephrase the text in the OCL specification. And check other examples.
Reported: UML 1.2 — Fri, 17 Dec 1999 05:00 GMT
Disposition: Resolved — UML 1.3
No Data Available
Updated: Fri, 6 Mar 2015 21:37 GMT