QVT14 — QVTr - templated relations

UML supports templated types.
OCL is aligned with UML.
QVT extends OCL.
Therefore QVT supports templated types possibly just through grammar inheritance.

For relations, that have some similarities to operations, a template signature is required in order to allow a user to bind a specific enforced type. In the absence of templates, a relation defined on the template parameter lowerbound can only enforce the lowerbound.