QVT — 8.4.6.2 QVToperational is not a syntax extension of OCL

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.

No Data Available