-
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 coverageElse: 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
QVT — 8.4.6.2 QVToperational is not a syntax extension of OCL
- Key: QVT-24
- OMG Task Force: MOF QVT FTF