Issue 10921: TypeType (ocl2-rtf)
Source: Hendryx & Associates (Mr. Stan Hendryx, stan(at)hendryxassoc.com)
Nature: Uncategorized Issue
Severity: 
Summary: I would like to log the following issue against OCL formal/06-05-01.


TypeType, appearing on Fig. 8.1 (p.34), Fig. 13.1 (p.172), and section
11.3.2 (p.140) is not defined
Resolution: 
Revised Text: Delete the TypeType and ElementType metaclasses from the Figures 8.1 and 13.1.

Delete the description of ElementType from Section 8.2 The Types Package.

Delete Section 11.3 Special Types.  The OclElement and OclType types that it defines are instances of the deleted ElementType and TypeType metatypes.
Actions taken:
April 16, 2007: received issue
October 16, 2009: closed issue
Discussion: 
Not only is the TypeType metatype not defined, it is not used by the Expressions package (at least, not as indicated by the abstract-syntax mappings in Section 9.3 Concrete Syntax).  Moreover, the usage of the UML Classifier metaclass in OCL obviates the need for an OclType enumeration in OCL 2.x.

A similar argument can be made for the obsoletion of the ElementType metatype and its instance the OclElement enumeration.  The expressive power of the UML infrastructure makes it possible for the OCL StateExp to define an association with the UML State metaclass without the need for an artificial enumeration type.

End of Annotations:=====
il-OSG: NHv6MbgVM1km5NbyBHRw4m5KseXKlzW0Dez3yBpM0PqfuTXbQnUsZ.ZEoChHH2c5ZdaafLTVYQ--
From: "Stan Hendryx" <stan@hendryxassoc.com>
To: "'Juergen Boldt'" <juergen@omg.org>
Subject: OCL Issue
Date: Mon, 16 Apr 2007 12:52:20 -0700
X-Mailer: Microsoft Office Outlook 11
thread-index: AceAVU8KgWQ3F+GfQ72Wd+PP43YqfAACqpVg
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at omg.org


Hello Jurgen,


I would like to log the following issue against OCL formal/06-05-01.


TypeType, appearing on Fig. 8.1 (p.34), Fig. 13.1 (p.172), and section
11.3.2 (p.140) is not defined. 



Regards,


Stan