Issue 19202: Type conformance for classifiers (uml2-rtf) Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov) Nature: Revision Severity: Significant Summary: Subclause 9.2.3 (Semantics), Generalization, sixth paragraph, last sentence ("A Classifier is a Type, and conforms to itself and to all of its generalizations.") contradicts the previous sentences. Classifiers conform to their metaclassifiers, not necessarily themselves or their generalizations. This sentence might have been intended to refer to the instances of a classifier. Resolution: Revised Text: Actions taken: February 3, 2014: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 03 Feb 2014 09:24:20 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Conrad Bock Employer: NIST mailFrom: conrad.bock@nist.gov Terms_Agreement: I agree Specification: Unified Modeling Language Section: Classification FormalNumber: ptc/2013-09-05 Version: 1.5 Doc_Year: 2013 Doc_Month: September Doc_Day: 01 Page: Title: Type conformance for classifiers Nature: Revision Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: 129.6.32.106 Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:26.0) Gecko/20100101 Firefox/26.0 Time: 09:24 AM Description: Subclause 9.2.3 (Semantics), Generalization, sixth paragraph, last sentence ("A Classifier is a Type, and conforms to itself and to all of its generalizations.") contradicts the previous sentences. Classifiers conform to their metaclassifiers, not necessarily themselves or their generalizations. This sentence might have been intended to refer to the instances of a classifier. X-Virus-Scanned: OK From: Ed Seidewitz To: "uml2-rtf@omg.org" CC: "issues@omg.org" Subject: RE: issue 19202 -- UML 2.6 RTF issue Thread-Topic: issue 19202 -- UML 2.6 RTF issue Thread-Index: AQHPIPQEGmA7tOxv3EeohmTqf1i6a5qkHetg Date: Mon, 3 Feb 2014 22:39:59 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [38.99.219.254] X-Virus-Scanned: amavisd-new at omg.org Conrad . I don.t agree with you at all on this issue. The definition of conformance of types has always been as is described in UML 2.5: .Type conformance means that if one Type conforms to another, than any instance of the first Type may be used as the value of a TypedElement whose type is declared to be the second Type.. That is one Type conforms to another Type. This is formalized in the Type::conformsTo operation, which has an argument of type Type. Conformance is really only usefully defined at the Classifier level, though, and, again, the definition has always been that a Classifier .conforms to itself and to all of its generalizations.. This is formalized in the Classifier::conformsTo operation, and the statement in the text pretty much exactly describes the behavior of this operation. I don.t see anything inconsistent here or any different than as it has always been in UML (albeit perhaps more clearly and completely described in UML 2.5). -- Ed From: Juergen Boldt [mailto:juergen@omg.org] Sent: Monday, February 03, 2014 10:24 AM To: issues@omg.org; uml2-rtf@omg.org Subject: issue 19202 -- UML 2.6 RTF issue From: webmaster@omg.org Date: 03 Feb 2014 09:24:20 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Conrad Bock Employer: NIST mailFrom: conrad.bock@nist.gov Terms_Agreement: I agree Specification: Unified Modeling Language Section: Classification FormalNumber: ptc/2013-09-05 Version: 1.5 Doc_Year: 2013 Doc_Month: September Doc_Day: 01 Page: Title: Type conformance for classifiers Nature: Revision Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: 129.6.32.106 Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:26.0) Gecko/20100101 Firefox/26.0 Time: 09:24 AM Description: Subclause 9.2.3 (Semantics), Generalization, sixth paragraph, last sentence ("A Classifier is a Type, and conforms to itself and to all of its generalizations.") contradicts the previous sentences. Classifiers conform to their metaclassifiers, not necessarily themselves or their generalizations. This sentence might have been intended to refer to the instances of a classifier. Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: 781 444 0404 x 132 fax: 781 444 0320 www.omg.org [] From: "Bock, Conrad" To: "uml2-rtf@omg.org" Subject: RE: issue 19202 -- UML 2.6 RTF issue Thread-Topic: issue 19202 -- UML 2.6 RTF issue Thread-Index: AQHPIPQWONSvuzB40USerXio9wqwCZqkH9SAgADzgeA= Date: Tue, 4 Feb 2014 13:15:43 +0000 Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [129.6.32.106] x-forefront-prvs: 01128BA907 x-forefront-antispam-report: SFV:NSPM;SFS:(10009001)(6009001)(199002)(189002)(5403001)(94316002)(56776001)(46102001)(87936001)(69226001)(79102001)(85852003)(83072002)(80022001)(81542001)(81342001)(74502001)(83322001)(80976001)(51856001)(90146001)(76482001)(74366001)(50986001)(47976001)(87266001)(66066001)(49866001)(47736001)(56816005)(4396001)(86362001)(53806001)(54316002)(2656002)(65816001)(54356001)(33646001)(93516002)(85306002)(81816001)(63696002)(47446002)(74876001)(74706001)(74316001)(94946001)(76796001)(77982001)(92566001)(76786001)(81686001)(76576001)(77096001)(59766001)(74662001)(31966008)(93136001)(24736002);DIR:OUT;SFP:1101;SCL:1;SRVR:BL2PR09MB051;H:BL2PR09MB049.namprd09.prod.outlook.com;CLIP:129.6.32.106;FPR:BC127ABB.10F66C16.B5FF2D7F.C4E0C498.200C4;InfoNoRecordsA:1;MX:1;LANG:en; X-OriginatorOrg: nist.gov X-Virus-Scanned: amavisd-new at omg.org X-MIME-Autoconverted: from base64 to 8bit by amethyst.omg.org id s14DFrUu025505 Content-Transfer-Encoding: 8bit Ed, > The definition of > conformance of types has always been as is described in UML 2.5: .Type > conformance means that if one Type conforms to another, than any > instance of the first Type may be used as the value of a TypedElement > whose type is declared to be the second Type.. Sorry, I was misreading the term "conformance", thx, Conrad