Issue 17404: Quantity Kind is a categorization type (date-time-ftf) Source: NIST (Mr. Edward J. Barkmeyer, edbark(at)nist.gov) Nature: Uncategorized Issue Severity: Summary: Specification: Date Time Vocabulary Version: beta-1 Title: Quantity Kind is a categorization type Source: Ed Barkmeyer, NIST, edbark@nist.gov (as directed by the FTF) Summary: Section D.3.1 of the Date Time Vocabulary declares the concept 'quantity type' as follows: Definition: categorization type for ‘quantity’ that characterizes quantities as being mutually comparable Concept Type: concept type Figure D.5 shows 'quantity kind' as a <<concept type>> It appears that the SBVR tag Concept Type should have the value 'categorization type', to match the definition. Moreover, the UML <<concept type>> stereotype does not carry the more important "powertype" semantics that typifies a categorization type. The UML diagram should show 'quantity kind' as a powertype or categorization type. Making it a powertype should also result in a formal UML specification that its instances classify 'quantity'. Resolution: Revised Text: Actions taken: June 4, 2012: received issue Discussion: End of Annotations:===== te: Mon, 4 Jun 2012 18:12:12 -0400 From: Ed Barkmeyer Reply-To: "Barkmeyer, Edward J" , Organization: NIST User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: "issues@omg.org" Subject: DTV Issue: Quantity Kind is a categorization type X-NISTMEL-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: q54MCHmm012299 X-NISTMEL-MailScanner: Found to be clean X-NISTMEL-MailScanner-SpamCheck: X-NISTMEL-MailScanner-From: edbark@nist.gov X-NISTMEL-MailScanner-Watermark: 1339452738.26389@EIX2uWvq17D5qiaiJjWz0w X-Spam-Status: No Specification: Date Time Vocabulary Version: beta-1 Title: Quantity Kind is a categorization type Source: Ed Barkmeyer, NIST, edbark@nist.gov (as directed by the FTF) Summary: Section D.3.1 of the Date Time Vocabulary declares the concept 'quantity type' as follows: Definition: categorization type for .quantity. that characterizes quantities as being mutually comparable Concept Type: concept type Figure D.5 shows 'quantity kind' as a <> It appears that the SBVR tag Concept Type should have the value 'categorization type', to match the definition. Moreover, the UML <> stereotype does not carry the more important "powertype" semantics that typifies a categorization type. The UML diagram should show 'quantity kind' as a powertype or categorization type. Making it a powertype should also result in a formal UML specification that its instances classify 'quantity'. Date: Tue, 31 Jul 2012 15:45:08 -0400 From: Ed Barkmeyer Reply-To: Organization: NIST User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: OMG DateTimeVoc FTF Subject: DTV Issue 17404 - quantity kind is a categorization type, draft resolution X-NISTMEL-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: q6VJjD5i009414 X-NISTMEL-MailScanner: Found to be clean X-NISTMEL-MailScanner-SpamCheck: X-NISTMEL-MailScanner-From: edbark@nist.gov X-NISTMEL-MailScanner-Watermark: 1344368715.97231@G96IOkAZpNSQVR1U9waVIA X-Spam-Status: No I attach the proposed resolution of DTV Issue 17404 quantity kind is a categorization type. We agreed to this months ago, and the UML model was changed in May. -Ed -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Manufacturing Systems Integration Division 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 Cel: +1 240-672-5800 DTV Issue 17404-quantity kind is a categorization type.docx Disposition: Resolved OMG Issue No: 17404 Title: Quantity Kind is a categorization type Source: Ed Barkmeyer, NIST, edbark@nist.gov (as directed by the FTF) Summary: Section D.3.1 of the Date Time Vocabulary declares the concept 'quantity type' as follows: Definition: categorization type for .quantity. that characterizes quantities as being mutually comparable Concept Type: concept type Figure D.5 shows 'quantity kind' as a <> It appears that the SBVR tag Concept Type should have the value 'categorization type', to match the definition. Moreover, the UML <> stereotype does not carry the more important "powertype" semantics that typifies a categorization type. The UML diagram should show 'quantity kind' as a powertype or categorization type. Making it a powertype should also result in a formal UML specification that its instances classify 'quantity'. Resolution: The FTF agrees that that quantity kind is a categorization type. The powertype aspect is addressed in the UML Profile for SBVR. Also a CLIF Axiom for .quantity kind. is mis-stated. Revised Text: 1. In Section D.3.1, REPLACE Figure D.5 (Quantities) with the following: 2. In section D.3.1, in the entry for .quantity kind., REPLACE the Concept Type paragraph: Concept Type: concept type with: Concept Type: categorization type 3. In section D.3.1, in the entry for .quantity has quantity kind. REPLACE the CLIF Axiom: CLIF Axiom: (forall ((quantity quantity)) (= (count ("quantity has quantity kind" quantity)) 1)) with: CLIF Axiom: (forall ((q quantity)) (exists ((qk "quantity kind")) (and ("quantity has quantity kind" q qk) (forall (qk2) (if ("quantity has quantity kind" q qk2) (= qk2 qk) )) ))) 4. In Section D.3.2, REPLACE Figure D.6 (Measurement units) with the following: Disposition: Resolved To: date-time-ftf@omg.org Subject: Re: DTV Issue 17404 - quantity kind is a categorization type, draft resolution X-KeepSent: 8A4B21BB:2C02D022-85257A4E:00531EEB; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Thu, 2 Aug 2012 11:08:15 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 08/02/2012 11:08:16, Serialize complete at 08/02/2012 11:08:16 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12080216-7182-0000-0000-0000022687EE This one looks fine to me. -------------------------------- Mark H. Linehan STSM, IBM Research From: Ed Barkmeyer To: OMG DateTimeVoc FTF , Date: 07/31/2012 03:46 PM Subject: DTV Issue 17404 - quantity kind is a categorization type, draft resolution -------------------------------------------------------------------------------- I attach the proposed resolution of DTV Issue 17404 quantity kind is a categorization type. We agreed to this months ago, and the UML model was changed in May. -Ed -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Manufacturing Systems Integration Division 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 Cel: +1 240-672-5800 [attachment "DTV Issue 17404-quantity kind is a categorization type.docx" deleted by Mark H Linehan/Watson/IBM]