EXPRESS 1.0 FTF Avatar
  1. OMG Issue

EXPRESS_ — Nature of InstantiableType

  • Key: EXPRESS_-70
  • Legacy Issue Number: 13901
  • Status: closed  
  • Source: Thematix Partners LLC ( Mr. Edward J. Barkmeyer)
  • Summary:

    In clause 8.6, the 6th paragraph begins: "InstantiableTypes represent all of the data types that have actual Instances." This is incorrect, since PartialEntityValues are instances of PartialEntityTypes, which are DataTypes but not InstantiableTypes. Clause 8.6.7 correctly says that InstantiableTypes cover the data types of all objects and property values.

    In clause 8.6.7, the second sentence of the definition reads: "InstantiableType is a proper subtype of DataType (which includes classifiers that represent conformance rules for InstantiableTypes)." The parenthetical clause is wrong or at least misleading, and in any case the intent here was probably to mention PartialEntityTypes.

    The text of these two paragraphs should be corrected.

  • Reported: EXPRESS 1.0b1 — Tue, 28 Apr 2009 04:00 GMT
  • Disposition: Resolved — EXPRESS 1.0
  • Disposition Summary:

    Correct/clarify the text of 8.6 and 8.6.7.

  • Updated: Wed, 11 Mar 2015 01:54 GMT