QVT — 7.11.2.3 CollectionTemplateExp.referredCollectionType

CollectionTemplateExp.referredCollectionType refers to a CollectionType, but that type may not exist,
since the reference is a parameterisation of a collection; the collection kinds exist in OCL, the
parameter types in the user model, but the parameterised collections exist only as references.

Suggest:
remove: CollectionTemplateExp.referredCollectionType
add: CollectionTemplateExp.referredElementType : Type[0..1]
add: CollectionTemplateExp.collectionKind : CollectionKind[1]

to capture the reference without requiring type synthesis.

(1) In Section 7.11.1.1, within "associations" sub-section, add the following property:

/ownedType : Type [0..*] (from Package)

All the types being defined by this transformation. Specifically this
includes any composite type used to define the type of a variable or a parameter, for instance a 'Set(MyMetaclass)' parameterized type instance.

(2) In Section 7.11.1.1, add a "Remark" sub-section with the following
sentence:
Remark:
Instances of parameterized types defined in different transformations
denote the same type if the base types are the same: for instance
'Tx1::Set(Integer)' and 'Tx2::Set(Integer)' denote the same type
'Set(Integer)'.