EXPRESS 1.0 FTF Avatar
  1. OMG Issue

EXPRESS_ — Correct model of AliasStatement and AliasVariable

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

    In 13.3.1, AliasStatement, the text says the ALIAS statement binds the AliasVariable to a VARExpression called the "referent", but neither the diagram nor the documented associations relate a VARExpression to the AliasStatement. 13.3.2 shows the referent VARExpression as an attribute of AliasVariable. This association should certainly appear in the diagram in Figure 44. But the actual referent of the AliasVariable at any given time is what the VARExpression evaluates to when the AliasStatement is executed. The referent VARExpression should be associated with the AliasStatement, not with the AliasVariable. That other Variables have runtime values is a fact that does not seem to have an image in the metamodel (e.g., Variable does not have a current-value association); so the fact that an AliasVariable has a runtime referent should not have such a model, either.

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

    The argument is correct. The “referent” expression should be associated with the AliasStatement, not with the AliasVariable.
    When correcting Figure 44, also correct the missing Composites for alias-binds-variable and alias-has-body.

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