QVT 1.4 RTF Avatar
  1. OMG Issue

QVT14 — QVTr: overriding create nothing

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

    An overriding relation may need to create nothing when the derived input pattern does not need transformation by the polymorphism. It might be transformed elsewhere explicitly. (Concrete example is OclType in the ATL metamodel which is defined as a derived OclExpression in ATL but not in OCL.)

    Create nothing could be achieved by omitting the engforced domain but that violates a consistent overrideing domains WFR.

    Create nothing is more sensibly achieved by no output patterns in the enforced domain,

  • Reported: QVT 1.3 — Tue, 4 Sep 2018 10:57 GMT
  • Updated: Tue, 4 Sep 2018 10:57 GMT