-
Key: UMLR-605
-
Legacy Issue Number: 17611
-
Status: open
-
Source: Object Management Group ( Andrew Watson)
-
Summary:
"The query conformsTo() gives true for a Type that conforms to another."
While the OCL throughout the text does indeed use the conformsTo() operation, the textual descriptions alongside the OCL mix references to "conformance" with references to "one Type being a subtype of another".
For clarity, I suggest that either all these uses of "subtype" in the text are replaced by references to "conforms to" or (less preferable), some text is included in this description on p65 to say that "subtype" is a synonym for "conforms to".
It might also be useful to include some words about type conformance in the very-short description of the Semantics of Types in section 7.5.3 (p37).
-
Reported: UML 2.5b1 — Wed, 19 Sep 2012 04:00 GMT
-
Updated: Fri, 6 Mar 2015 20:57 GMT
UMLR — Consistent use of "conforms to" vs. "is a subtype of"
- Key: UMLR-605
- OMG Task Force: UML 2.6 RTF