QVT — Chapter 7,8,9 EssentialOCL usage

The OCL spec identifies Essential OCL as a subset of the OCL Abstract Syntax.
The OCL spec does not identify an Essential OCL Concrete Syntax.

The QVT spec should define the Essential OCL Concrete Syntax as a listed subset of
OCL Concrete Syntax clauses. Presumably all productions in OCL section 9.3 but
perhaps excluding OclMessageExpCS, OclMessageArgumentsCS and OclMessageArgCS.

The QVT spec should clearly define whether all OCL keywords are also keywords
of QVT - a convenience to tool builders re-using OCL implementations, or
alternatively enumerate only those that are appropriate:

i.e. and, else, endif, if, implies, in, let, not, or, then, xor.

(omitting: attr, context, def, endpackage, inv, oper, package, post, pre)

Perhaps some counterpart to OCL Chapter 12 is required:
'The Use of OCL Expressions in QVT Models'

No Data Available