M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

M. Acher, P. Collet, P. Lahire, and R. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004

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

[. Aranega, A. Etien, and S. Mosser, Using Feature Model to Build Model Transformation Chains, Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems (MoDELS '12), pp.562-578, 2012.
DOI : 10.1007/978-3-642-33666-9_36

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

C. Atkinson and T. Kühne, Profiles in a strict metamodeling framework, Science of Computer Programming, vol.44, issue.1, pp.5-22, 2002.
DOI : 10.1016/S0167-6423(02)00029-1

W. Andrew, J. Appel, and . Palsberg, Modern Compiler Implementation in Java, 2003.

E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, Proceedings of the Term Rewriting and Applications, 18th International Conference (RTA '07), pp.36-47, 2007.
DOI : 10.1007/978-3-540-73449-9_5

URL : https://hal.archives-ouvertes.fr/inria-00142045

R. Victor, L. C. Basili, W. L. Briand, and . Melo, How reuse influences productivity in object-oriented systems, Communincations of the ACM, vol.39, issue.10, pp.104-116, 1996.

M. J. Davi, J. Barbosa, N. Cretin, M. Foster, B. C. Greenberg et al., Matching lenses : alignment and view update, Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP '10), pp.193-204, 2010.

P. Briggs, K. D. Cooper, T. J. Harvey, and L. T. Simpson, Practical improvements to the construction and destruction of static single assignment form. Software : Practice and Experience, pp.859-881, 1998.

J. Bach, X. Crégut, P. Moreau, and M. Pantel, Model transformations with Tom, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA '12, p.4, 2012.
DOI : 10.1145/2427048.2427052

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

M. Barbero, D. Didonet, J. Fabro, and . Bézivin, Traceability and provenance issues in global model management, Proceedings of the 3rd ECMDA-FA Traceability Workshop, 2007.

J. Bézivin, Model Driven Engineering: An Emerging Technical Space, Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering (GTTSE'05), pp.36-64, 2006.
DOI : 10.1007/11877028_2

A. Bohannon, J. N. Foster, B. C. Pierce, A. Pilkiewicz, and A. Schmitt, Boomerang : resourceful lenses for string data, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '08), pp.407-419, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00496456

J. Bézivin and O. Gerbé, Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.273-280, 2001.
DOI : 10.1109/ASE.2001.989813

J. Bézivin, S. Gérard, P. A. Muller, and L. Rioux, MDA components : Challenges and Opportunities, Proceedings of the 1st International Workshop on Metamodelling for MDA, pp.23-41, 2003.

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Proceedings of the 2003 European Conference on Model Driven Architecture : Foundations and Applications (ECMDA-FA'03), pp.33-46, 2005.
DOI : 10.1007/11538097_3

F. [. Bezivin, D. Jouault, and . Touzet, Principles, Standards and Tools for Model Engineering, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pp.28-29, 2005.
DOI : 10.1109/ICECCS.2005.68

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

A. Bohannon, B. C. Pierce, and J. A. Vaughan, Relational lenses, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '06, pp.338-347, 2006.
DOI : 10.1145/1142351.1142399

K. B. Bruce, A. Schuett, R. Van-gent, and A. Fiech, PolyTOIL, ACM Transactions on Programming Languages and Systems, vol.25, issue.2, pp.225-290, 2003.
DOI : 10.1145/641888.641891

B. Kim, J. Bruce, and . Vanderwaart, Semantics-driven language design : Statically type-safe virtual types in object-oriented languages, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.

J. N. Czarnecki, Z. Foster, R. Hu, A. Lämmel, J. F. Schürr et al., Bidirectional Transformations: A Cross-Discipline Perspective, Proceedings of the 2nd International Conference on Model Transformations, 2009.
DOI : 10.1007/978-3-540-70583-3_22

S. [. Czarnecki and . Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

W. R. Cook, W. Hill, and P. S. Canning, Inheritance Is Not Subtyping [Cho56] Noam Chomsky. Three models for the description of language CENTAUR : towards a software tool box for programming environments, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages (POPL '90) Proceedings of the International Workshop on Software Engineering Environments (SEE '90), number 467 in Lecture Notes in Computer Science, pp.125-135113, 1956.

C. Clifton, G. T. Leavens, C. Chambers, and T. Millstein, Multijava : modular open classes and symmetric multiple dispatch for java TomML : A Rule Language for Structured Data, Proceedings of the 15th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and ApplicationsCMR09] Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles Proceedings of the International Symposium on Rule Interchange and Applications, pp.130-145, 2000.

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable metamodels for semantic variation points The complexity of theorem-proving procedures, Proceedings of the 3rd European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA '07)Coo71] Stephen A. Cook Proceedings of the 3rd annual ACM Symposium on Theory Of Computing (STOC '71), pp.68-82, 1971.

R. Darimont, E. Delor, P. Massonet, and A. Van-lamsweerde, GRAIL/KAOS, Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.612-613, 1997.
DOI : 10.1145/253228.253499

[. Drossopoulou, P. Jolly, C. Anderson, and K. Ostermann, Simple Dependent Types : Concord Programming-in-the large versus programming-in-the-small, ECOOP Workshop on Formal Techniques for Java-like ProgramsDK75] Frank DeRemer and Hans Kron, pp.114-121, 1975.

J. De, L. , and E. Guerra, Generic meta-modelling with concepts, templates and mixin layers, Proceedings of the 13th international conference on Model Driven Engineering Languages and Systems (MoDELS '10), pp.16-30, 2010.

[. Dony, J. Malenfant, P. Cointe, and A. P. Black, Prototype-based languages : from a new taxonomy to constructive proposals and their validation Traits : A mechanism for fine-grained reuse, Proceedings of the 7th annual conference on Object-Oriented Programming Systems , Languages, and Applications (OOPSLA '92)DNS + 06] Stéphane Ducasse, pp.201-217331, 1992.

A. Etien, V. Aranega, X. Blanc, and R. F. Paige, Chaining model transformations Formal executable semantics for conformance in the MDE framework, Proceedings of the 1st Workshop on the Analysis of Model Transformations (AMT '12)ER10] Marina Egea and Vlad Rusu, pp.9-1473, 2010.

E. Ernst, Family Polymorphism, Proceedins of the 15th European Conference on Object-Oriented Programming, pp.303-326, 2001.
DOI : 10.1007/3-540-45337-7_17

J. Favre, Foundations of Meta-Pyramids : Languages vs. Metamodels - Episode II : Story of Thotus the Baboon, Dagstuhl Reports, 2004.

J. Favre, Foundations of Model (Driven) (Reverse) Engineering : Models -Episode I : Stories of The Fidus Papyrus and of The Solarus, Dagstuhl Reports, 2004.

J. Favre, D. Gasevi´cgasevi´c, R. Lammel, and A. Winter, Introduction to the Special Section on Software Language Engineering Combinators for bidirectional tree transformations : A linguistic approach to the view-update problem, IEEE Transactions on Software Engineering ACM Transactions on Programming Languages Systems (TOPLAS), vol.35, issue.293, pp.737-741, 2007.

J. Falleri, M. Huchard, M. Lafourcade, and C. Nebut, Metamodel Matching for Automatic Model Transformation Generation, Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS '08), pp.326-340, 2008.
DOI : 10.1007/978-3-540-87875-9_24

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

[. Foster, A. Pilkiewicz, and B. C. Pierce, Quotient lenses, Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (ICFP '08), pp.383-396, 2008.

A. Floch, T. Yuki, C. Guy, S. Derrien, S. Benoit-combemale et al., Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?, Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS '11), number 6981 in Lecture Notes in Computer Science, pp.608-622, 2011.
DOI : 10.1007/s10270-006-0036-6

URL : https://hal.archives-ouvertes.fr/inria-00613575

[. Guerra, J. De-lara, D. S. Kolovos, and R. F. Paige, Intermodelling : from theory to practice, Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems : Part I (MoDELS '10), number 6394 in Lecture Notes in Computer Science, pp.376-391, 2010.

[. Gasevi´cgasevi´c, N. Kaviani, and M. Hatala, On Metamodeling in Megamodels, Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS '07), pp.91-105, 2007.
DOI : 10.1007/978-3-540-75209-7_7

H. Grönniger, H. Krahn, B. Rumpe, M. Schindler, S. V. Hu et al., MontiCore, Companion of the 13th international conference on Software engineering , ICSE Companion '08, pp.925-926, 1969.
DOI : 10.1145/1370175.1370190

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-48059, 2011.
DOI : 10.1145/1985793.1985858

A. Igarashi, C. Saito, and M. Viroli, Lightweight Family Polymorphism, Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS '05), pp.161-177, 2005.
DOI : 10.1007/11575467_12

. Jean-marc-jézéquel, O. Benoit-combemale, M. Barais, F. Monperrus, and . Fouquet, Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, Journal of Software and Systems Modeling (So- SyM), 2013.

J. Jézéquel, B. Combemale, D. Vojtisek-glinz, and B. Baudry, Ingénierie Dirigée par les Modèles : des concepts à la pratique Estimating footprints of model operations, Références sciences. Ellipses, 2012. [JGB11] Cédric Jeanneret Proceedings of the 33rd International Conference on Software Engineering (ICSE '11)KBA02] Ivan Kurtev, Jean Bézivin, and Mehmet Aksit. Technological Spaces : An Initial Appraisal. In International Symposium on Distributed Objects and Applications (DOA '02), pp.601-610, 2002.

G. Kappel, H. Kargl, T. Reiter, W. Retschitzegger, W. Schwinger et al., A Framework for Building Mapping Operators Resolving Structural Heterogeneities, Information Systems and e-Business Technologies of Lecture Notes in Business Information Processing, pp.158-174, 2008.
DOI : 10.1007/978-3-540-78942-0_18

A. Kleppe, MCC: A Model Transformation Environment, Proceedings of the 2nd European Conference on Model Driven Architecture : Foundations and Applications (ECMDA-FA'06), pp.173-187, 2006.
DOI : 10.1007/11787044_14

G. Kahn, B. Lang, B. Melese, E. Morcos, and C. G. Berry, Metal: a formalism to specify formalisms, Anneke Kleppe. Software Language Engineering : Creating Domain-Specific Languages Using Metamodels Journal of Software and Systems Modeling (SoSyM), pp.151-188, 1983.
DOI : 10.1016/0167-6423(83)90009-6

C. L. Lennart, E. Kats, and . Visser, The Spoofax Language Workbench Rules for Declarative Specification of Languages and IDEs On model compatibility with referees and contexts, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '10), pp.444-463475, 2010.

J. Liebig, R. Daniel, and S. Apel, Feature-oriented language families, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, pp.1-8, 2013.
DOI : 10.1145/2430502.2430518

D. B. Lenat, CYC: a large-scale investment in knowledge infrastructure, Communications of the ACM, vol.38, issue.11, pp.33-38, 1995.
DOI : 10.1145/219717.219745

J. Lara and E. Guerra, From types to type requirements: genericity for model-driven engineering, Software & Systems Modeling, vol.6, issue.4, pp.453-474, 2013.
DOI : 10.1007/s10270-011-0221-0

H. Barbara, J. M. Liskov, and . Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.16, issue.6, pp.1811-1841, 1994.

F. Martin, Language workbenches : The killer-app for domain specific languages ? http://martinfowler.com/articles/languageWorkbench.html [Online ; accessed 20-Septembre-2013]. [MC07] Parastoo Mohagheghi and Reidar Conradi. Quality, productivity and economic benefits of software reuse : a review of industrial studies, Empirical Software Engineering, vol.12, issue.5, pp.471-516, 2005.

P. Muller, F. Fondement, B. Baudry, and B. Combemale, Modeling modeling modeling, Software & Systems Modeling, vol.37, issue.1, pp.347-359, 2012.
DOI : 10.1007/s10270-010-0172-x

URL : https://hal.archives-ouvertes.fr/inria-00477528

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

[. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892

R. Mitchell, Managing complexity in software engineering. Peregrinus on behalf of the Institution of Electrical Engineers, 1990.

V. Moha, O. Mahé, J. Barais, and . Jézéquel, Generic Model Refactorings, Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS '09), pp.628-643
DOI : 10.1007/s10270-006-0036-6

URL : https://hal.archives-ouvertes.fr/inria-00468657

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

J. Oldevik, Transformation Composition Modelling Framework, Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems (DAIS '05)OMG03] OMG. UML Object Constraint Language (OCL) 2.0 Specification, pp.108-114, 2003.
DOI : 10.1007/11498094_10

[. Omg, Software & Systems Process Engineering Meta-Model (OMG SPEM) Specification, OMG11] OMG. Unified Modeling Language (OMG UML), Infrastructure, 2008.

M. Odersky and M. Zenger, Scalable component abstractions, Proceedings of the 20th annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '05), pp.41-57, 2005.
DOI : 10.1145/1103845.1094815

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.176.5313

C. Benjamin and . Pierce, Types and programming languages, 2002.

]. G. Plo81 and . Plotkin, A Structural Approach to Operational Semantics, 1981.

R. [. Parr and . Quong, Antlr : a predicated-ll(k) parser generator. Software : Practice and Experience, pp.789-810, 1995.

J. Pilgrim, B. Vanhooff, I. Schulz-gerlach, and Y. Berbers, Constructing and Visualizing Transformation Chains, Proceedings of the 4th European conference on Model Driven Architecture : Foundations and Applications (ECMDA-FA '08), pp.17-32, 2008.
DOI : 10.1007/978-3-540-69100-6_2

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

E. José, D. Rivera, F. Ruiz-gonzalez, J. Lopez-romero, A. Bautista et al., Orchestrating ATL model transformations, Proceedings of the 1st International Workshop on Model Transformation with ATL (MtATL '09), pp.34-46, 2009.

D. Steinberg, F. Budinsky, M. Paternostro, E. Sun, B. Combemale et al., EMF : Eclipse Modeling Framework Using Model Types to Support Contract-Aware Model Substitutability, Proceedings of the 9th European Conference on Modelling Foundations and Applications, ECMFA '13, pp.118-133, 2009.

J. Sánchez-cuadrado, E. Guerra, J. , and L. , Generic Model Transformations: Write Once, Reuse Everywhere, Proceedings of the 4th International Conference on Model Transformations (ICMT '11), pp.62-77, 2011.
DOI : 10.1007/978-3-642-21732-6_5

P. Schobbens, P. Heymans, and J. Trigaux, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.136-145, 2006.
DOI : 10.1109/RE.2006.23

J. Steel and J. M. Jézéquel, On Model Typing. Software and Systems Modeling, pp.401-413, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477547

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE '09), pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

R. B. Smith, Prototype-based languages (panel) : object lessons from classfree programming, Proceedings of the 9th annual conference on Object- Oriented Programming Systems, Language, and Applications (OOPSLA '94), pp.102-112, 1994.
DOI : 10.1145/191081.191101

N. Smm-+-12-]-sagar-sen, V. Moha, O. Mahé, B. Barais, J. Baudry et al., Reusable model transformations, Journal of Software and Systems Modeling (SoSyM), vol.11, issue.1, pp.111-125, 2012.

A. Seibel, S. Neumann, and H. Giese, Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance, Software & Systems Modeling, vol.4, issue.3, pp.493-528, 2010.
DOI : 10.1007/s10270-009-0146-z

J. Steel, Typage de Modèles, 2007.

[. Tolvanen and M. Rossi, Metaedit+ : defining and using domainspecific modeling languages and code generators, Companion of the 18th annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '03), pp.92-93, 2003.
DOI : 10.1007/11763864_41

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

A. Vignaga, F. Jouault, M. Bastarrica, and H. Brunelière, Typing artifacts in megamodeling [Voe11] Markus Voelter. Language and IDE Modularization and Composition with MPS, Journal of Software and Systems Modeling (SoSyM) Proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering IV (GTTSE '11), pp.105-119, 2011.

A. Pataricza, Generic and meta-transformations for model transformation engineering, Proceedings of the 7th International Conference on the Unified Modeling Language, pp.290-304, 2001.

. Wikipedia, Extended Backus-Naur Form ? Wikipedia, The Free Encyclopedia . https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_ Form, 2013. [Online ; accessed 14, 2013.

A. Wimmer, W. Kusel, J. Retschitzegger, W. Schönböck, J. Schwinger et al., Reusing model transformations across heterogeneous metamodels, Proceedings of the 5th International Workshop on Multi-Paradigm Modeling (MPM '11), 2011.

S. K. Eric and . Yu, Towards modeling and reasoning support for early-phase requirements engineering, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE '97), pp.226-235, 1997.

C. Asso and .. , Aspect Kermeta déclarant un champ dérivé next permettant une adaptation bidirectionnelle de CFG Type vers, p.105

M. Classes-du and D. , Ecore et de metal représentant les interfaces et les implémentations des objets et des opérations, p.80

J. Jézéquel, B. Combemale, S. Derrien, C. Guy, and S. V. Rajopadhye, Bridging the chasm between MDE and the world of compilation, Software & Systems Modeling, vol.53, issue.6, pp.581-597, 2012.
DOI : 10.1007/s10270-012-0266-8

C. Guy, B. Combemale, S. Derrien, J. Steel, and J. Jézéquel, On Model Subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications, ECMFA '12, pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30

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

A. Floch, T. Yuki, C. Guy, S. Derrien, B. Combemale et al., Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?, Proceedings of the 14th International Conference Model Driven Engineering Languages and Systems, pp.608-622, 2011.
DOI : 10.1007/s10270-006-0036-6

URL : https://hal.archives-ouvertes.fr/inria-00613575

C. Guy, S. Derrien, B. Combemale, and J. Jézéquel, Vers un rapprochement de l'IDM et de la compilation, Proceedings of the Journées sur l'Ingénierie Dirigée par les Modèles, pp.91-96, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00601670