QVT — 7.11.3.1 Relation.operationalImpl

Relation.operationalImpl is shown in Fig 7.7, but not listed in 7.11.3.1.

It should be a composition (in both).

Update the description of class Relation in section 7.11.3.1 as follows:

Insert the folloing sentence in the description part before the sentence 'Please refer to sections 7.1 - 7.9 for a detailed description of the semantics, and section 12 for a more formal description in terms of a mapping to the core model.':
A relation may optionally have an associated black-box operational implementation to enforce a domain.

Add the following in the 'Associations' sub-section:

operationalImpl: RelationImplementation [*]

The set of black-box operational implementations, if any, that are associated with the relation to enforce its domains.

Also update the the diagram given in Fig 7.7 'QVT Relation Package' to show the association from Relation to RelationImplementation as a composite.