Source: Model Driven Solutions ( Ed Willink)
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.
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