. Bibliography, The design of a language for model transformations. Software and System Modeling, pp.261-288, 2006.

K. Akehurst, S. Akehurst, and . Kent, A Relational Approach to Defining Transformations in a Metamodel, pp.243-258, 2002.
DOI : 10.1007/3-540-45800-X_20

. Amar, Using Aspect-Oriented Programming to Trace Imperative Transformations, 2010 14th IEEE International Enterprise Distributed Object Computing Conference, pp.143-152, 2010.
DOI : 10.1109/EDOC.2010.12

URL : https://hal.archives-ouvertes.fr/lirmm-00544014

. Brosch, An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example, Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MOD- ELS '09, pp.271-285, 2009.
DOI : 10.1007/978-3-540-45221-8_15

. Bézivin, First experiments with the atl model transformation language: Transforming xslt into xquery, OOPSLA 2003 Workshop, p.29, 2003.

. Dolques, Learning Transformation Rules from Transformation Examples: An Approach Based on Relational Concept Analysis, 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2010.
DOI : 10.1109/EDOCW.2010.32

URL : https://hal.archives-ouvertes.fr/lirmm-00533375

. Dolques, Clémentine Nebut, and François Pfister Easing model transformation learning with automatically aligned examples, 7th European Conference, pp.189-204, 2011.

]. , D. Fabro, and P. Valduriez, Towards the efficient development of model transformations using model weaving and matching transformations, Software and System Modeling, pp.305-324, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00483446

F. Budinsky, Eclipse Modeling Framework (Eclipse Series), p.18, 2004.

W. Ganter, R. Ganter, and . Wille, Formal Concept Analysis, Mathematical Foundations, 1999.

. García-magariño, Gómez-Sanz, and Rubén Fuentes-Fernández. Model transformation by-example: An algorithm for generating many-to-many transformation rules in several model transformation languages, ICMT, pp.52-66, 2009.

E. David and . Goldberg, Genetic Algorithms in Search, Optimization and Machine Learning, 1989.

S. Kastenholz, A generic traceability framework for facet-based traceability data extraction in model-driven software development, Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW '10, pp.7-14, 2010.

. Kehrer, A rule-based approach to the semantic lifting of model differences in the context of model versioning, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011.
DOI : 10.1109/ASE.2011.6100050

E. Kennedy, R. C. Kennedy, and . Eberhart, Particle swarm optimization, Proceedings of ICNN'95, International Conference on Neural Networks, pp.1942-1948, 1995.
DOI : 10.1109/ICNN.1995.488968

. Kessentini, Model Transformation as an Optimization Problem, MODELS'08, pp.159-173, 2008.
DOI : 10.1007/978-3-540-87875-9_12

. Kessentini, Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search, Modelling Foundations and Applications, pp.156-172, 2010.
DOI : 10.1007/978-3-642-13595-8_14

. Kessentini, Model transformation by example : a search-based approach. Software and Systems Modeling Journal) tion to web service platform, CAiSE'05, pp.309-325, 2005.

. Lopes, Schema Matching in the Context of Model Driven Engineering: From Theory to Practice, Advances in Systems, Computing Sciences and Software Engineering, pp.219-227, 2006.
DOI : 10.1007/1-4020-5263-4_36

. Lopes, Schema Matching in the Context of Model Driven Engineering: From Theory to Practice, Advances in Systems, Computing Sciences and Software Engineering, pp.219-227, 2006.
DOI : 10.1007/1-4020-5263-4_36

. Lopes, Denivaldo Lopes, Slimane Hammoudi, and Zair Abdelouahab. A step forward in semi-automatic metamodel matching: Algorithms and tool, Joaquim Filipe and José Cordeiro Proceeding of ICEIS 2009, pp.137-148, 2009.

. Luong, Hong-Viet Luong, Thomas Lambolais, and Anne-Lise Courbis. Implementation of the conformance relation for incremental development of behavioural models, MoDELS, pp.356-370, 2008.

. Melnik, Similarity flooding: a versatile graph matching algorithm and its application to schema matching, Proceedings 18th International Conference on Data Engineering, 2002.
DOI : 10.1109/ICDE.2002.994702

P. Van-gorp, A taxonomy of model transformation, Electr. Notes Theor. Comput. Sci, vol.152, issue.20, pp.125-142, 1980.

D. Muggleton, L. Raedt-]-stephen-muggleton, and . De-raedt, Inductive Logic Programming: Theory and methods, The Journal of Logic Programming, vol.19, issue.20, pp.629-679, 1994.
DOI : 10.1016/0743-1066(94)90035-3

. Muller, Weaving Executability into Object-Oriented Meta-languages, Proceedings of MODELS/UML'2005, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

M. Noy, F. Natalya, M. A. Noy, and . Musen, Anchor-prompt: Using nonlocal context for semantic matching, Proc. of the Workshop on Ontologies and Information Sharing at IJCAI-2001, pp.63-70, 2001.

. Paige, Rigorous identification and encoding of trace-links in model-driven engineering, Software & Systems Modeling, vol.39, issue.2, pp.469-487, 2011.
DOI : 10.1007/s10270-010-0158-8

. Pfister, A proposed tool and process to design domain specific modeling languages, p.2012, 2012.

B. Rahm, P. A. Rahm, and . Bernstein, A survey of approaches to automatic schema matching, The VLDB Journal, vol.10, issue.4, pp.334-350, 2001.
DOI : 10.1007/s007780100057

. Saada, Generation of Operational Transformation Rules from Examples of Model Transformations, MoDELS, pp.546-561, 2012.
DOI : 10.1007/978-3-642-33666-9_35

URL : https://hal.archives-ouvertes.fr/lirmm-00808679

. Saada, Learning model transformations from examples using fca: One for all or all for one? In CLA, pp.45-56, 2012.

. Sahraoui, Model matching for model transformation: A meta-heuristic approach. will be published in the Model-Driven Engineering and Software Development proceeding, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00967632

. Sahraoui, Recovering model transformation traces using multi-objective optimization. will be published in the Automated Software Engineering proceeding, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00967626

C. Douglas and . Schmidt, Model-driven engineering, IEEE Computer, vol.39, issue.2, 2006.

. Shousha, A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms, Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems , MoDELS '08, pp.475-489, 2008.
DOI : 10.1007/978-3-540-87875-9_34

P. Shvaiko and J. Euzenat, A survey of schemabased matching approaches, pp.146-171, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00922287

T. Soley, . Omg-staff-strategy, and . Group, Richard Soley and the OMG Staff Strategy Group. Model driven architecture, 2000.

. Sun, Model transformation by demonstration, MoDELS, pp.712-726, 2009.

G. Taentzer, AGG: A Tool Environment for Algebraic Graph Transformation, AGTIVE, ser. Lecture Notes in Computer Science, pp.481-488, 2000.
DOI : 10.1007/3-540-45104-8_41

A. Van, Traceability visualization in model transformations with trace vis, ICMT, pp.152-159, 2012.

. Vermolen, Reconstructing Complex Metamodel Evolution, SLE, pp.201-221, 2011.
DOI : 10.1007/978-3-642-28830-2_11

J. Jezequel, Mtl and umlaut ng engine and framework for model transformation, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000953

. Wimmer, Towards Model Transformation Generation By-Example, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07), pp.285-312, 2007.
DOI : 10.1109/HICSS.2007.572

S. Xing, Zhenchang Xing and Eleni Stroulia Umldiff: an algorithm for object-oriented design differencing, ASE, pp.54-65, 2005.

S. Xing, Zhenchang Xing and Eleni Stroulia Refactoring detection based on umldiff change-facts queries, WCRE, pp.263-274, 2006.

T. Zitzler, Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach, IEEE Transactions on Evolutionary Computation, vol.3, issue.4, pp.257-271, 1999.
DOI : 10.1109/4235.797969