EXPRESS 1.0 FTF Avatar
  1. OMG Issue

EXPRESS_ — InstantiableType:fundamental-type should be derived

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

    In clause 8.6.7.3, InstantiableType:fundamental-type has multiplicity 1..1. This is semantically correct, but it has the effect of requiring the fundamental-type association to be instantiated for every InstantiableType in every Schema, even though it is only used in evaluating Expressions involving SpecializedTypes. The EXPRESS rule is given in the Definition, and it can be considered to be a (recursive) derivation rule. Making the attribute "derived" in this way removes the requirement for it to be instantiated.

    Proposed change: Make InstantiableType:fundamental-type a derived association.

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

    From a semantic point of view, it is a derived attribute, and the derivation rule is stated in the definition. So the change is appropriate in all cases.

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