An Algebraic Semantics for QVT-Relations Check-only Transformations
Esther Guerra, Juan D. Lara · Fundamenta Informaticae · 2012
QVT is the standard for model transformation defined by the OMG in the context of the Model-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits