Model Transformations powered by Rewriting Logic

This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers 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 specications are sketched.

• Type: Conference
• Year: 2008
• Where: CAISE
• Authors: Francisco J. Lucas, José Ambrosio Toval Álvarez
• Keywords: Balanced Rigour-versus-intuition Framework, CAISE 2008, Current Transformation Languages, Information Management, Rigorous Approach