/. Edapt and . Cope, Delete Opposite Reference (entry, State) 2. Delete Feature (entry, State) 3. Delete Opposite Reference (exit, State) 4. Delete Feature (exit, State) 5. Delete Feature (sin, Action) 6. Delete Feature (sout, Action) 7. Delete Feature

.. Migration-inverse, 81 3.5.1 Migration retour

T. Bibliographie, E. Arendt, S. Biermann, C. Jurack, G. Krause et al., Henshin : Advanced concepts and tools for in-place emf model transformations, Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems : Part I, MODELS'10, pp.121-135, 2010.

T. Appukuttan, A. Clark, G. Evans, S. Maskeri, P. Reddy et al., QVT-Partners revised submission to QVT RFP, pp.17-51, 2003.

A. Abou and D. , Une approche formelle de l'interopérabilité pour une famille de langages dédiés, 2009.

H. David, G. Akehurst, K. D. Howells, and . Mcdonald-maier, Kent model transformation language, Proc. Model Transformations in Practice Workshop, part of MoDELS 2005 Kent, and Octavian Patrascoiu. A Relational Approach to Defining and Implementing Transformations in Metamodels. Software and Systems ModelingAKS03] Aditya Agrawal, Gabor Karsai, and Feng Shi. Graph transformations on domain-specific models, pp.49182-196, 2003.

V. R. Jean-bézivin, L. C. Basili, W. L. Briand, and . Melo, How reuse influences productivity in object-oriented systems, Software and System Modeling, pp.171-188, 1996.

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Modeling Model Slicers, ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pp.62-76, 2003.
DOI : 10.1016/S0164-1212(98)10055-9
URL : https://hal.archives-ouvertes.fr/inria-00609072

J. Bézivinbf05, ]. R. Bull, and J. Favre, Visualization in the context of model driven engineering, MDDAUI '05, Model Driven Development of Advanced User Interfaces 2005, Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces, pp.21-24, 2004.

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the large and modeling in the small European MDA Workshops : Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands Revised Selected Papers Domain Specific Language Modeling Facilities, Model Driven Architecture 5th MoDELS Workshop on Models and Evolution, pp.33-46, 2003.

P. Braun, F. Marschall, A. R. Vorbehalten, P. B. , B. Gruschko et al., Botl ? the bidirectional object oriented transformation language Towards synchronizing models with evolving metamodels, Proc. Int. Workshop on Model-Driven Software Evolution held with the ECSMR, pp.49-94, 2003.

[. Brun and A. Pierantonio, Model differences in the eclipse modeling framework. UPGRADE, The European Journal for the Informatics Professional, pp.38-147, 2008.

A. Cicchetti, D. D. Ruscio, and A. Pierantonio, Managing Dependent Changes in Coupled Evolution, Theory and Practice of Model Transformations Lecture Notes in Computer Science, vol.4, issue.2, pp.35-51, 2009.
DOI : 10.1007/s10270-005-0079-0

J. N. Krzysztof-czarnecki, Z. Foster, R. Hu, A. Lämmel, J. Schürr et al., Bidirectional Transformations: A Cross-Discipline Perspective, Theory and Practice of Model Transformations OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, pp.260-283, 2003.
DOI : 10.1007/978-3-540-70583-3_22

G. György-csertán, I. Huszerl, Z. Majzik, and . Pap, András Pataricza , and Dániel Varró. Viatra " visual automated transformations for formal verification and validation of uml models, Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE '02, p.54, 2002.

A. Cicchetti, D. D. Ruscio, R. Eramo, and A. Pierantonio, Automating Co-evolution in Model-Driven Engineering, 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp.222-231, 2008.
DOI : 10.1109/EDOC.2008.44

A. Cicchetti, D. D. Ruscio, and A. Pierantonio, A Metamodel Independent Approach to Difference Representation., The Journal of Object Technology, vol.6, issue.9, pp.165-185, 2007.
DOI : 10.5381/jot.2007.6.9.a9

L. Jacob and . Cybulski, Introduction to software reuse Semi-automatic model integration using matching transformations and weaving models, DFV07] Marcos Didonet Del Fabro and Patrick Valduriez Proceedings of the 2007 ACM Symposium on Applied Computing, SAC '07 ACM. 23 [DV09] Didonet and Patrick Valduriez. Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling, pp.963-970305, 1996.

J. Etzlstorfer, A. Kusel, E. Kapsammer, P. Langer, W. Retschitzegger et al., A survey on incremental model transformation approaches, Proceedings of the Workshop on Models and Evolution colocated with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, pp.4-13, 2013.

E. Jean-marie-favre, Cacophony : Metamodel-driven software architecture reconstruction, pp.17-33, 2004.

B. William, C. J. Frakes, and . Fox, Sixteen questions about software reuse, Commun. ACM, vol.38, issue.6 2, 1995.

J. Falleri, M. Huchard, M. Lafourcade, and C. Nebut, Metamodel Matching for Automatic Model Transformation Generation, Model Driven Engineering Languages and Systems, 11th International Conference Proceedings, pp.326-340, 2008.
DOI : 10.1007/978-3-540-87875-9_24
URL : https://hal.archives-ouvertes.fr/lirmm-00322879

G. Fouquet, B. Nain, E. Morin, O. Daubert, N. Barais et al., Kevoree modeling framework (KMF) : efficient modeling techniques for runtime use, 1405.
URL : https://hal.archives-ouvertes.fr/hal-00996764

P. Freeman, Reusable software engineering : Concepts and research directions, pp.2015-2064, 1983.

. Guy, S. Benoit-combemale, J. Derrien, J. Steel, and . Jézéquel, On Model Subtyping, ECMFA -8th European Conference on Modelling Foundations and Applications, 2012.
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

G. Guerra, J. De-lara, D. S. Kolovos, and R. F. Paige, A Visual Specification Language for Model-to-Model Transformations, 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, pp.119-126, 2010.
DOI : 10.1109/VLHCC.2010.25

T. Gardner, C. Griffin, J. Koehler, and R. Hauser, Review of omg mof 2.0 query/views/transformations submissions and recommendations towards final standard, p.17, 2003.

K. Garcés, F. Jouault, P. Cointe, and J. Bézivin, Managing Model Adaptation by Precise Detection of Metamodel Changes, Proc. of ECMDA 2009, pp.34-49, 2009.

M. Greenwald, J. Moore, B. Pierce, and A. Schmitt, A language for bidirectional tree transformations, p.51, 2003.

]. I. Gra01 and . Graham, Object-Oriented Methods. Principles and Practice, p.12, 2001.

[. Hassam, Adaptation des contraintes OCL lors de l'évolution des métamodèles et modèles Cope automating coupled evolution of metamodels and models, Thèse de doctorat dirigée par Sadou, Salah STIC Lorient 2011. 21 [HBJ09] Markus Herrmannsdöerfer Proceedings of the 23rd European Conference on ECOOP 2009 ? Object-Oriented Programming Reuse in software and knowledge engineering. National Research Center for Computer Science, pp.52-76, 1992.

. Henshin, Matching and adaptation. core techniques for mda-(adm)driven integration of new business Towards semanticspreserving model migration, Proceeding of MELS Workshop (EDOC International Workshop on Models and Evolution, pp.17-40, 2010.

M. Herrmannsdöerfer and D. Ratiu, Limitations of Automating Model Migration in Response to Metamodel Adaptation, Proceedings of the 2009 International Conference on Models in Software Engineering, MO- DELS'09, pp.205-219, 2010.
DOI : 10.1007/978-3-642-12261-3_20

P. Hudak, Domain-specific languages. Handbook of Programming Languages, pp.39-60, 1921.

M. Herrmannsdörfer, S. Vermolen, and G. Wachsmuth, An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models, Software Language Engineering -Third International Conference, pp.163-182, 2010.
DOI : 10.1007/978-3-642-19440-5_10

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011.
DOI : 10.1145/1985793.1985858

I. Ivkovic and K. Kontogiannis, Tracing evolution changes of software artifacts through model synchronization, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings., pp.252-261, 2004.
DOI : 10.1109/ICSM.2004.1357809

[. Jouault and I. Kurtev, On the architectural alignment of atl and qvt Transforming models with atl, Proceedings of the 2006 ACM Symposium on Applied Computing, SAC '06 ACM. 44 [JK06b] Frédéric Jouault and Ivan Kurtev Proceedings of the 2005 International Conference on Satellite Events at the Mo- DELS, MoDELS'05, pp.1188-1195, 2006.

]. Kad05 and . Babau, MDA : Conception orientée objet guidée par les modèles. Dunod A DSML for reversible transformations, 11th OOPSLA Workshop on Domain-Specific Modeling, pp.13-14, 2005.

G. Anneke, . Kleppekru89-]-c, and . Krueger, Software language engineering : creating domainspecific languages using metamodels Models of reuse in software engineering. School of computer science, Matters of (meta-) modeling. Software and Systems Modeling, pp.20-12369, 1989.

G. Anneke, J. Kleppe, W. Warmer, and . Bast, MDA Explained : The Model Driven Architecture : Practice and Promise, pp.15-16, 2003.

R. Lämmel, Coupled software transformations (extended abstract), p.43, 2004.

T. Levendovszky, D. Balasubramanian, A. Narayanan, and G. Karsai, A Novel Approach to Semi-automated Evolution of DSML Model Transformation, Software Language Engineering, pp.23-41, 2010.
DOI : 10.1007/978-3-642-12107-4_4

C. Wayne and . Lim, Effects of reuse on quality, productivity, and economics, IEEE Softw, vol.11, issue.5, pp.23-30, 1994.

J. De, L. , and H. Vangheluwe, Atom3 : A tool for multi-formalism and meta-modelling, Fundamental Approaches to Software Engineering, pp.174-188

P. Langer, M. Wimmer, J. Gray, G. Kappel, and A. Vallecillo, Language-Specific Model Versioning Based on Signifiers., Man09] Giulio Manzonetto. Models and theories of lambda calculus. CoRR, pp.1-34, 2009.
DOI : 10.5381/jot.2012.11.3.a4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.5794

D. Mendez, A. Etien, A. Muller, and R. Casallas, Towards Transformation Migration After Metamodel Evolution, Model and Evolution WorkshopMet14] Meta object facility (MOF) 2.4.2 core specification, pp.29-43, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00524145

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems , MoDELS'05, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

A. Narayanan, T. Levendovszky, D. Balasubramanian, and G. Karsai, Automatic Domain Model Migration to Manage Metamodel Evolution, Model Driven Engineering Languages and Systems, pp.706-711, 2009.
DOI : 10.1007/978-3-540-73589-2_28

[. Ober, A. A. Dib, L. Féraud, and C. Percebois, Towards Interoperability in Component Based Development with a Family of DSLs, European Conference on Software Architecture (ECSA), Chypre, pp.148-163, 2008.
DOI : 10.1007/978-3-540-88030-1_12

Q. Http, Fast track to app success, p.17, 1999.

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

. Louism, . Rose, . Dimitrioss, . Kolovos, . Richardf et al., Epsilon flock : a model migration language. Software and Systems Modeling, 2014.

L. M. Rose, D. S. Kolovos, R. F. Paige, and F. A. Polack, Model Migration with Epsilon Flock, Proceedings of the 3rd ICMT conference, pp.184-198, 2010.
DOI : 10.1007/978-3-642-13688-7_13

U. Rüegg, C. Motika, and R. Von-hanxleden, Interactive transformations for visual models, ) at conference INFOR- MATIK 2011, GI-Edition ? Lecture Notes in Informatics (LNI), p.54, 2011.

L. M. Rose, R. F. Paige, D. S. Kolovos, and F. A. Polack, An analysis of approaches to model migration, Proc. Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems, p.49, 2009.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF : Eclipse Modeling Framework 2.0, p.15, 2009.

J. Shvaiko and . Euzenat, A Survey of Schema-Based Matching Approaches, Journal on Data Semantics IV Lecture Notes in Computer Science, vol.3730, pp.146-171, 2005.
DOI : 10.1007/11603412_5
URL : https://hal.archives-ouvertes.fr/hal-00922287

E. Seidewitz, What models mean, IEEE Software, vol.20, issue.5, pp.26-32, 2003.
DOI : 10.1109/MS.2003.1231147

A. Solberg and R. France, Navigating the metamuddle weaving " mtl model transformations, Proceedings of the 4th Workshop in Software Model Engoneering Model Driven Architecture, pp.41-123, 2005.

M. Schmidt and T. Gloetzner, Constructing difference tools for models using the SiDiff framework, Companion of the 13th international conference on Software engineering , ICSE Companion '08, pp.947-948, 2008.
DOI : 10.1145/1370175.1370201

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

S. Sendall, W. Kozaczynski, J. Sprinkle, and G. Karsai, Model transformation : The heart and soul of model-driven software development A domain-specific visual language for domain model evolution, IEEE Softw. Journal of Visual Languages & Computing, vol.20, issue.53, pp.42-45, 2003.

S. Sen, N. Moha, B. Baudry, and J. B. Sousa, Meta-model Pruning, MoDELS Doctoral Symposium on Informatics Engineering, pp.32-46, 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

G. Sunyé, D. Pollet, Y. L. Traon, and J. Jézéquel, Refactoring UML Models, Proceedings of UML 2001, pp.134-148, 2001.
DOI : 10.1007/3-540-45441-1_11

]. W. Ste08-]-perdita-stevenstra88 and . Tracz, A landscape of bidirectional model transformations In Generative and transformational techniques in software engineering II Software reuse : Motivators and inhibitors. Digest of Papers COMPCON, UML14] Object managment group. uml infrastructure specification, pp.408-424, 1988.

. Umlx, 49 [VB07] Dániel Varró and András Balogh. The model transformation language of the {VIATRA2} framework, Science of Computer Programming, vol.68, issue.3, pp.214-234, 2007.

G. Wachsmuth, Towards lenses for view synchronization in metamodel-based domain-specific workbenches, Proceedings of ECOOP In : 3rd Workshop 'Methodische Entwicklung von Modellierungswerkzeugen' at INFORMATIK 2011 Proceedings, GI-Edition of Lecture Notes in Informatics (LNI), pp.600-624, 2007.

[. Wipliez, Compilation infrastructure for dataflow programs, p.133, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00598914

D. Wagelaar, L. Iovino, D. D. Ruscio, A. Pierantonio, and M. Glinz, Translational semantics of a co-evolution specific language with the EMF transformation virtual machine Rigorous EBNF-based definition for a graphic modeling language, Theory and Practice of Model Transformations -5th International Conference. Proceedings Software Engineering Conference Tenth Asia- Pacific, pp.192-207, 2003.

H. Yviquel, E. Casseau, M. Wipliez, and M. Raulet, Efficient multicore scheduling of dataflow process networks, 2011 IEEE Workshop on Signal Processing Systems (SiPS), p.140, 2011.
DOI : 10.1109/SiPS.2011.6088974
URL : https://hal.archives-ouvertes.fr/hal-00687750

[. Zaytsev and A. Bagge, Parsing in a broad sense In Model- Driven Engineering Languages and Systems, LNCS, vol.8767, pp.50-67, 2014.

J. Zhang, Y. Lin, and J. Gray, Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine, Model-Driven Software Development, pp.199-217, 2005.
DOI : 10.1007/3-540-28554-7_9