Model Transformations powered by Rewriting Logic.
Francisco J. Lucas, José Ambrosio Toval Álvarez · 2008
Abstract. This paper shows a rigorous approach based on algebraic speci cations and rewriting logic which makes up for the lack of current transformation languages and o ers a balanced rigour-versus-intuition framework for model transformation, focusing on the MDA-QVT standards. To illustrate this approach, an example and some formal applications of these speci cations are sketched. 1