Source: Model Driven Solutions ( Ed Willink)
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.
Reported: QVT 1.3 — Tue, 20 Jun 2017 07:23 GMT
Updated: Tue, 20 Jun 2017 07:23 GMT