QVT 1.1 RTF Avatar
  1. OMG Issue

QVT11 — 9.17.12, EnforcementOperation.operationCallExp should be composes

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

    9.17.12 EnforcementOperation, Figure 9.3
    ----------------------------------------

    The definition: "operationCallExp : OperationCallExp[1]"
    and the corresponding "*" enforcementOperation multiplicity in
    Figure 9.3 provides a consistent definition of a shared reference
    to a Call expression. There is no indication of where this
    expression might be contained. It is unlikely that such
    expressions can usefully be shared since they must refer to
    invocation-site-specific variables.

    Therefore:

    Change the definition to:

    operationCallExp : OperationCallExp[1]

    {composes}

    and draw the composition with 0..1 parent multiplicity.
  • Reported: QVT 1.0 — Mon, 3 Dec 2007 05:00 GMT
  • Disposition: Resolved — QVT 1.1
  • Disposition Summary:

    Simple change already in QVTcore.xml
  • Updated: Fri, 6 Mar 2015 20:58 GMT