QVT 1.4 RTF Avatar
  1. OMG Issue

QVT14 — QVTc/QVTr : (Guard)Variable is not an OCL Variable

  • Key: QVT14-39
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    An OCL Variable requires its initializer to be statically type conformant to its type.

    A QVTc/QVTd (Guard)Variable defers conformance checking till run-time at which point a non-conformance is a predicate failure.

    There is therefore a problem with the WFR inherited from OCL.

    Suggest:

    VariableDeclaration should be the basis for Variable references.
    RealizedVariable should be a VariableDeclaration, not a Variable.
    GuardVariable should be a new derivation of VariableDeclaration.

    NB VariableDeclaration is the common supertype of Variable and Parameter, although VariableDeclaration is seriously underspecified by OCL.

  • Reported: QVT 1.3 — Sat, 14 May 2016 18:40 GMT
  • Updated: Sat, 14 May 2016 18:40 GMT