A. Agrawal, G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, The design of a language for model transformations. Software & Systems Modeling, pp.261-288, 2006.

J. Bézivin, F. Jouault, G. Pitette, G. Dupé, and J. E. Rougui, First experiments with the ATL model transformation language: Transforming XSLT into XQuery, 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture, 2003.

E. Biermann, C. Ermel, and G. Taentzer, Precise Semantics of EMF Model Transformations by Graph Transformation, Proceedings of the 11th International Conference, pp.1-15, 2008.
DOI : 10.1007/978-3-540-87875-9_4

J. Cordy, The TXL source transformation language, Science of Computer Programming, vol.61, issue.3, pp.190-210, 2006.
DOI : 10.1016/j.scico.2006.04.002

T. Fischer, J. Niere, L. Torunski, and A. Zundorf, Story diagrams: A new graph rewrite language based on the unified modeling language and java. Theory and Application of Graph Transformations, pp.157-167, 2000.

T. Goldschmidt and G. Wachsmuth, Refinement Transformation Support for QVT Relational Transformations, 3rd Workshop on Model Driven Software Engineering, 2008.

F. Jouault and I. Kurtev, Transforming Models with ATL, Proc. of the Model Transformations in Practice Workshop at MoDELS 2005, volume Satellite, pp.128-138, 2005.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

S. R. Judson, D. L. Carver, and R. France, A Metamodeling Approach to Model Refactoring, 2003.

D. Kolovos, R. Paige, and F. Polack, The epsilon transformation language. Theory and Practice of Model Transformations, pp.46-60, 2008.

D. S. Kolovos, R. F. Paige, F. A. Polac, and L. M. Rose, Update Transformations in the Small with the Epsilon Wizard Language., The Journal of Object Technology, vol.6, issue.9, p.53, 2007.
DOI : 10.5381/jot.2007.6.9.a3

S. Mellor, K. Scott, A. Uhl, and D. Weise, Model-Driven Architecture, Advances in Object- Oriented Information Systems, pp.233-239, 2002.
DOI : 10.1007/3-540-46105-1_33

A. Schurr, Specification of graph translators with triple graph grammars, Graph-Theoretic Concepts in Computer Science, pp.151-163, 1995.
DOI : 10.1007/3-540-59071-4_45

R. V. Straeten, V. Jonckers, and T. Mens, A Formal Approach to Model Refactoring and Model Refinement. Software and Systems Modeling, 2006.

M. Tisi, F. Jouault, P. Fraternali, S. Ceri, and J. Bézivin, On the Use of Higher-Order Model Transformations, Proceedings of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA), pp.18-33, 2009.
DOI : 10.1007/978-3-540-69927-9_11
URL : https://hal.archives-ouvertes.fr/hal-00782464

M. G. Van-den-brand, P. Klint, and J. J. Vinju, Term rewriting with traversal functions, ACM Transactions on Software Engineering and Methodology, vol.12, issue.2, pp.152-190, 2003.
DOI : 10.1145/941566.941568
URL : https://hal.archives-ouvertes.fr/inria-00101030

D. Varró, G. Varró, and A. Pataricza, Designing the automatic transformation of visual languages, Science of Computer Programming, vol.44, issue.2, pp.205-227, 2002.
DOI : 10.1016/S0167-6423(02)00039-4

E. Visser, A survey of strategies in rule-based program transformation systems, Journal of Symbolic Computation, vol.40, issue.1, pp.831-873, 2005.
DOI : 10.1016/j.jsc.2004.12.011

E. Visser, Z. Benaissa, and A. Tolmach, Building program optimizers with rewriting strategies, 1998.
DOI : 10.1145/289423.289425
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1581

D. Wagelaar, Composition techniques for rule-based model transformation languages. Theory and Practice of Model Transformations, pp.152-167, 2008.
DOI : 10.1007/978-3-540-69927-9_11

J. Zhang, Y. Lin, and J. Gray, Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine, Conference Proceedings of the Models Conference, 2005.
DOI : 10.1007/3-540-28554-7_9

I. Unité-de-recherche, I. Rennes, and I. , Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399