Issue 17611: Consistent use of "conforms to" vs. "is a subtype of" (uml25-ftf)
Source: Object Management Group (Mr. Andrew Watson, andrew(at)omg.org)
Nature: Revision
Severity: Minor
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).
Resolution: 
Revised Text: 
Actions taken:
September 19, 2012: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 19 Sep 2012 16:35:53 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Andrew Watson
Employer:        OMG
mailFrom:        andrew@omg.org
Terms_Agreement: I agree
Specification:   UML Simplification Submission
Section:         7.8
FormalNumber:    ad/12-08-01
Version:         2.5
Doc_Year:        2012
Doc_Month:       August
Doc_Day:         Day
Page:            65
Title:           Consistent use of "conforms to" vs. "is a subtype of"
Nature:          Revision
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


"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).