QVT 1.1 RTF Avatar
  1. OMG Issue

QVT11 — Section 7.11.2.3: Empty CollectionTemplateExp is useful

Open Closed All
  • Key: QVT11-19
  • Legacy Issue Number: 11826
  • Status: closed  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    7.11.2.3 and Figure 7.6 both impose a lowerBound of 1 on CollectionTemplateExp.member and CollectionTemplateExp.rest.

    However, the concrete syntax permits an empty match. This empty match is exploited in the
    UnsharedWhenVarsToMgVars relation in Section 10.

    Suggest:

    Change CollectionTemplateExp.member to [0..*]
    Change CollectionTemplateExp.rest to [0..1]

    Add a sentence to clarify the empty match semantics.
  • Reported: QVT 1.0 — Mon, 17 Dec 2007 05:00 GMT
  • Disposition: Resolved — QVT 1.1
  • Disposition Summary:

    yes
  • Updated: Fri, 6 Mar 2015 20:58 GMT