QVT 1.0 NO IDEA Avatar
  1. OMG Issue

QVT — 8.4.6.2 QVToperational is not a syntax extension of OCL

  • Key: QVT-24
  • Legacy Issue Number: 10975
  • Status: closed  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    The syntax claims to extend the OCL syntax. But it doesn't, or
    at least not with the same semantics.

    For instance:

    The QVToperational grammar defines:
    'or' and 'xor' with lower precedence than 'and'
    OCL (7.4.7) defines them the same precedence .

    The QVToperational grammar defines:
    'if' as primary
    OCL (7.4.7) defines 'if' between relational and additive.

    The changed precedences may be better, but they are not OCL.

    The QVToperational type/declaration system is difficult to compare with
    OCL; it certainly doesn't look compatible.

    Suggest: Re-specify the QVToperational grammar so that the
    name, type and expression sub-grammars are
    demonstrably an extension of their Essential OCL counterparts.

    i.e. each production such as PrimitiveLiteralExpCS should be used unchanged
    or reproduced preferably containing only additional clauses, but perhaps
    replacement clauses that can be analyzed to provide equivalent/extended coverage

    Else: Remove all claims that there is any similarity
    between QVToperational and OCL.

  • Reported: QVT 1.0b1 — Mon, 30 Apr 2007 04:00 GMT
  • Disposition: Resolved — QVT 1.0
  • Disposition Summary:

    No Data Available

  • Updated: Fri, 6 Mar 2015 20:54 GMT