. Software and V. Engineering, 127 2.1 A simple OCL invariant on

.. Block, The OperationDefAspect linking IDL's OperationDef to Lua's, p.99

M. Acher, B. Combemale, and P. Collet, Metamorphic Domain-Specific Languages, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! '14, pp.243-253, 2014.
DOI : 10.1145/2661136.2661159
URL : https://hal.archives-ouvertes.fr/hal-01061576

M. Alanen and I. Porres, A relation between context-free grammars and meta object facility metamodels, Turku Centre for Computer Science, 2004.

N. Amálio, J. De-lara, and E. Guerra, Fragmenta: A theory of fragmentation for MDE, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.106-115, 2015.
DOI : 10.1109/MODELS.2015.7338241

T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein et al., Business process execution language for web services, 2003.

S. Apel, D. Batory, and M. Rosenmüller, On the structure of crosscutting concerns: Using aspects or collaborations, GPCE Workshop on Aspect- Oriented Product Line Engineering (AOPLE), 2006.

V. Aranega, J. Mottu, A. Etien, T. Degueule, B. Baudry et al., Towards an automation of the mutation analysis dedicated to model transformation. Software Testing, Verification and Reliability, pp.653-683, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00988164

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

C. Atkinson and T. Kühne, Model-driven development: a metamodeling foundation, IEEE Software, vol.20, issue.5, pp.36-41, 2003.
DOI : 10.1109/MS.2003.1231149

C. Atkinson and T. Kühne, A tour of language customization concepts Advances in Computers, pp.105-161, 2007.

J. W. Backus, R. J. Beeber, S. Best, R. Goldberg, L. M. Haibt et al., The FORTRAN automatic coding system, Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability on, IRE-AIEE-ACM '57 (Western), pp.188-198, 1957.
DOI : 10.1145/1455567.1455599

J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. Mccarthy et al., Report on the algorithmic language ALGOL 60, Numerische Mathematik, vol.2, issue.1, pp.106-136, 1960.
DOI : 10.1007/BF01386216

P. Baker, S. Loh, and F. Weil, Model-Driven Engineering in a Large Industrial Context ??? Motorola Case Study, International Conference on Model Driven Engineering Languages and Systems, pp.476-491, 2005.
DOI : 10.1007/11557432_36

B. Barras, S. Boutin, C. Cornes, J. Courant, J. Filliatre et al., The Coq proof assistant reference manual: Version 6.1, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00069968

E. Barrett, C. F. Bolz, and L. Tratt, Approaches to interpreter composition, Computer Languages, Systems & Structures, vol.44, pp.199-217, 2015.
DOI : 10.1016/j.cl.2015.03.001
URL : http://arxiv.org/abs/1409.0757

E. Barrett, C. F. Bolz, L. Diekmann, and L. Tratt, Fine-grained language composition: A case study, Proceddings of the 30th European Conference on Object-Oriented Programming, p.2016

A. Benelellam, M. Tisi, J. Sanchéz-cuadrado, J. De-lara, and J. Cabot, Efficient model partitioning for distributed model transformations, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering , SLE 2016, 2016.
DOI : 10.1145/2997364.2997385

T. Berger, M. Völter, H. P. Jensen, T. Dangprasert, and J. Siegmund, Efficiency of projectional editing: a controlled experiment, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering , FSE 2016, 2016.
DOI : 10.1145/2950290.2950315

A. Bergmayr and M. Wimmer, Generating metamodels from grammars by chaining translational and by-example techniques, MDEBE@ MoDELS, pp.22-31, 2013.

T. Berners-lee, R. Fielding, and L. Masinter, RFC 2396: Uniform resource identifiers (URI): Generic Syntax, 1998.
DOI : 10.17487/rfc2396

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

J. Bézivin, In search of a basic principle for model driven engineering, Novatica Journal, Special Issue, vol.5, issue.2, pp.21-24, 2004.

J. Bézivin, On the unification power of models. Software & Systems Modeling, pp.171-188, 2005.

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, F. Jouault, and D. 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

A. Biboudis, P. Inostroza, T. Van, and . Storm, Recaf: Java dialects as libraries, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences , GPCE 2016, 2016.
DOI : 10.1145/2993236.2993239

A. Blouin and O. Beaudoux, Improving modularity and usability of interactive systems with Malai, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.115-124, 2010.
DOI : 10.1145/1822018.1822037
URL : https://hal.archives-ouvertes.fr/inria-00477627

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

P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn et al., Centaur: the system, 1988.
DOI : 10.1145/64140.65005
URL : https://hal.archives-ouvertes.fr/inria-00075774

E. Bousse, J. Corley, B. Combemale, J. Gray, and B. Baudry, Supporting efficient and advanced omniscient debugging for xdsmls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp.137-148, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182517

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution framework of the gemoc studio
URL : https://hal.archives-ouvertes.fr/hal-01355391

C. Brabrand and M. I. Schwartzbach, Growing languages with metamorphic syntax macros, 2002.

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008.
DOI : 10.1016/j.scico.2007.11.003

F. Brown, A. Nötzli, and D. Engler, How to build static checking systems using orders of magnitude less code, Proceedings of the Twenty- First International Conference on Architectural Support for Programming Languages and Operating Systems, pp.143-157, 2016.

K. B. Bruce and J. C. Vanderwaart, Semantics-Driven Language Design:, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.
DOI : 10.1016/S1571-0661(04)80066-5
URL : http://doi.org/10.1016/s1571-0661(04)80066-5

H. Bruneliere, J. Garcia, P. Desfray, D. E. Khelladi, R. Hebig et al., On Lightweight Metamodel Extension to Support Modeling Tools Agility, Modelling Foundations and Applications, pp.62-74, 2015.
DOI : 10.1007/978-3-319-21151-0_5
URL : https://hal.archives-ouvertes.fr/hal-01146802

P. S. Canning, W. R. Cook, W. L. Hill, and W. G. Olthoff, Interfaces for strongly-typed object-oriented programming, Proceedings of the 4th Conference on Object-oriented Programming Systems, Languages, and Applications, pp.457-467, 1989.
DOI : 10.1145/74877.74924

L. Cardelli, Structural subtyping and the notion of power type, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.70-79, 1988.
DOI : 10.1145/73560.73566

L. Cardelli and P. Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, vol.17, issue.4, pp.471-523, 1985.
DOI : 10.1145/6041.6042
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.695

R. Cartwright and M. Felleisen, Extensible denotational language specifications, International Symposium on Theoretical Aspects of Computer Software, pp.244-272, 1994.
DOI : 10.1007/3-540-57887-0_99
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5941

W. Cazzola and D. M. Olivares, Gradually learning programming supported by a growable programming language, IEEE Transactions on Emerging Topics in Computing, 2016.

W. Cazzola and E. Vacchi, Language components for modular DSLs using traits, Computer Languages, Systems & Structures, vol.45, pp.16-34, 2016.
DOI : 10.1016/j.cl.2015.12.001

F. Chauvel and J. Jézéquel, Code Generation from UML Models with Semantic Variation Points, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MOD- ELS'05), pp.54-68, 2005.
DOI : 10.1007/11557432_5
URL : https://hal.archives-ouvertes.fr/hal-00795105

B. Cheng, B. Combemale, R. France, J. Jézéquel, and B. Rumpe, Globalizing Domain-Specific Languages, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01224096

B. H. Cheng, B. Combemale, R. B. France, J. Jézéquel, and B. Rumpe, On the Globalization of Domain-Specific Languages, Globalizing Domain- Specific Languages, pp.1-6, 2015.
DOI : 10.1007/978-3-319-26172-0_1
URL : https://hal.archives-ouvertes.fr/hal-01224105

B. H. Cheng, T. Degueule, C. Atkinson, S. Clarke, U. Frank et al., Motivating Use Cases for the Globalization of DSLs, Globalizing Domain-Specific Languages, pp.21-42
DOI : 10.1007/978-3-319-26172-0_3
URL : https://hal.archives-ouvertes.fr/hal-01233660

M. Churchill, P. D. Mosses, and P. Torrini, Reusable components of semantic specifications, Proceedings of the 13th international conference on Modularity, MODULARITY '14, pp.145-156, 2014.
DOI : 10.1145/2577080.2577099

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

T. Clark, XPL: A language for modular homogeneous language embedding, Science of Computer Programming, vol.98, pp.589-616, 2015.
DOI : 10.1016/j.scico.2014.08.005

T. Clark, A. Evans, and S. Kent, Engineering Modelling Languages: A Precise Meta-Modelling Approach, International Conference on Fundamental Approaches to Software Engineering, pp.159-173, 2002.
DOI : 10.1007/3-540-45923-5_11

T. Clark, P. Sammut, and J. Willans, Applied metamodelling: a foundation for language driven development, Ceteva, 2008.

T. Clark, M. Van-den-brand, B. Combemale, and B. Rumpe, Conceptual Model of the Globalization for Domain-Specific Languages, Globalizing Domain-Specific Languages, pp.7-20, 2015.
DOI : 10.1007/978-3-319-26172-0_2
URL : https://hal.archives-ouvertes.fr/hal-01224116

E. M. Clarke, O. Grumberg, and D. Peled, Model checking, 1999.

T. Cleenewerck, Component-Based DSL Development, International Conference on Generative Programming and Component Engineering, pp.245-264, 2003.
DOI : 10.1007/978-3-540-39815-8_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.2068

C. Clifton, G. T. Leavens, C. Chambers, and T. Millstein, MultiJava, ACM SIGPLAN Notices, vol.35, issue.10, pp.130-145, 2000.
DOI : 10.1145/354222.353181

B. Combemale, Towards Language-Oriented Modeling. Accreditation to supervise research URL https, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01238817

B. Combemale, X. Crégut, P. Garoche, and X. Thirioux, Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, pp.943-958, 2009.
DOI : 10.4304/jsw.4.9.943-958
URL : https://hal.archives-ouvertes.fr/hal-00371553

B. Combemale, J. Deantoni, B. Baudry, R. B. France, J. Jézéquel et al., Globalizing Modeling Languages, Computer, vol.47, issue.6, pp.4768-71, 2014.
DOI : 10.1109/MC.2014.147
URL : https://hal.archives-ouvertes.fr/hal-00994551

B. Combemale, J. Deantoni, O. Barais, C. Brun, A. Blouin et al., A solution to the ttc'15 model execution case using the GEMOC studio, Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, pp.19-26, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01152342

V. Cosentino, M. Tisi, and J. L. Izquierdo, A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs, SOFSEM 2015: Theory and Practice of Computer Science, pp.423-435, 2015.
DOI : 10.1007/978-3-662-46078-8_35
URL : https://hal.archives-ouvertes.fr/hal-01094214

M. L. Crane and J. Dingel, UML vs. Classical vs. Rhapsody Statecharts: Not All Models Are Created Equal, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS'05), pp.97-112, 2005.

G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza et al., VIATRA - visual automated transformations for formal verification and validation of UML models, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.267-270, 2002.
DOI : 10.1109/ASE.2002.1115027

J. S. Cuadrado, E. Guerra, and J. De-lara, A Component Model for Model Transformations, IEEE Transactions on Software Engineering, vol.40, issue.11, pp.1042-1060, 2014.
DOI : 10.1109/TSE.2014.2339852

J. S. Cuadrado, E. Guerra, and J. De-lara, Reverse engineering of model transformations for reusability, International Conference on Theory and Practice of Model Transformations, pp.186-201, 2014.

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable Metamodels for Semantic Variation Points, Proceedings of the 3rd European Conference on Model Driven Architecture ? Foundations and Applications (ECMDA-FA'07), pp.68-82, 2007.
DOI : 10.1007/978-3-540-72901-3_6

K. Czarnecki and S. Helsen, Classification of model transformation approaches, Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, pp.1-17, 2003.

J. , D. Lara, and E. Guerra, Deep meta-modelling with metadepth, Objects, Models, Components, Patterns, pp.1-20, 2010.

J. , D. Lara, 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 (MOD- ELS'10), pp.16-30, 2010.

J. , D. Lara, and H. Vangheluwe, Atom3: A tool for multi-formalism and meta-modelling, International Conference on Fundamental Approaches to Software Engineering, pp.174-188, 2002.

J. De-lara, E. Guerra, and J. Sanchez-cuadrado, A-posteriori typing for Model-Driven Engineering, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.156-165, 2015.
DOI : 10.1109/MODELS.2015.7338246

J. Lara, E. Guerra, J. Sánchez, and . Cuadrado, A-posteriori Typing for Model-Driven Engineering, Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MOD- ELS'15), pp.156-165, 2015.

T. Degueule, Interoperability and composition of dsls with melange
URL : https://hal.archives-ouvertes.fr/hal-01336940

T. Degueule, B. Combemale, A. Blouin, and O. Barais, Reusing legacy DSLs with Melange, Proceedings of the Workshop on Domain-Specific Modeling, DSM 2015, pp.45-46, 2015.
DOI : 10.1145/2846696.2846697
URL : https://hal.archives-ouvertes.fr/hal-01197039

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. Jézéquel, Melange: a meta-language for modular and reusable development of dsls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp.25-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

T. Degueule, J. B. Filho, O. Barais, M. Acher, J. L. Noir et al., Tooling support for variability and architectural patterns in systems engineering, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.361-364, 2015.
DOI : 10.1145/2791060.2791097
URL : https://hal.archives-ouvertes.fr/hal-01242180

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. Jézéquel, Safe model polymorphism for flexible modeling, Computer Languages, Systems & Structures, 2016.
DOI : 10.1016/j.cl.2016.09.001
URL : https://hal.archives-ouvertes.fr/hal-01367305

T. Degueule, B. Combemale, and J. Jézéquel, On language interfaces, PAUSE: Present and Ulterior Software Engineering, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01424909

D. Di-ruscio, L. Iovino, and A. Pierantonio, Coupled Evolution in Model-Driven Engineering, IEEE Software, vol.29, issue.6, pp.78-84, 2012.
DOI : 10.1109/MS.2012.153

L. Diekmann and L. Tratt, Eco: A Language Composition Editor, Proceedings of the 7th International Conference on Software Language Engineering (SLE'14), pp.82-101, 2014.
DOI : 10.1007/978-3-319-11245-9_5

J. Dingel, Z. Diskin, and A. Zito, Understanding and improving UML package merge. Software & Systems Modeling, pp.443-467, 2008.
DOI : 10.1007/s10270-007-0073-9

I. D. Team, The melange language workbench, 2016.

L. M. Do-nascimento, D. L. Viana, P. A. Neto, D. A. Martins, V. C. Garcia et al., A systematic mapping study on domain-specific languages, Proceedings of the 7th International Conference on Software Engineering Advances (ICSEA'12), pp.179-187, 2012.

M. Egea and V. Rusu, Formal executable semantics for conformance in the MDE framework, Innovations in Systems and Software Engineering, pp.73-81, 2010.
DOI : 10.1007/s11334-009-0108-1
URL : https://hal.archives-ouvertes.fr/inria-00527502

T. Ekman and G. Hedin, The JastAdd system ??? modular extensible compiler construction, Science of Computer Programming, vol.69, issue.1-3, pp.14-26, 2007.
DOI : 10.1016/j.scico.2007.02.003

M. Emerson and J. Sztipanovits, Techniques for metamodel composition, OOPSLA?6th Workshop on Domain Specific Modeling, pp.123-139, 2006.

S. Erdweg, T. Rendel, C. Kästner, and K. Ostermann, Sugarj: librarybased syntactic language extensibility, Proceedings of the 26th International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA'11), pp.391-406, 2011.

S. Erdweg, P. G. Giarrusso, and T. , Language composition untangled, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA '12, p.7, 2012.
DOI : 10.1145/2427048.2427055

S. Erdweg, T. Van-der-storm, M. Völter, L. Tratt, R. Bosman et al., Evaluating and comparing language workbenches, Computer Languages, Systems & Structures, vol.44, pp.24-47, 2015.
DOI : 10.1016/j.cl.2015.08.007
URL : https://hal.archives-ouvertes.fr/hal-01261481

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

M. Eysholdt and H. Behrens, Xtext, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, SPLASH '10, pp.307-309, 2010.
DOI : 10.1145/1869542.1869625

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

J. Favre, Towards a basic theory to model model driven engineering, 3rd Workshop in Software Model Engineering, WiSME, pp.262-271, 2004.

J. Favre, Languages evolve too! Changing the Software Time Scale, Eighth International Workshop on Principles of Software Evolution (IWPSE'05), pp.33-42, 2005.
DOI : 10.1109/IWPSE.2005.22

J. Favre, D. Gasevic, R. Lämmel, and E. Pek, Empirical Language Analysis in Software Linguistics, International Conference on Software Language Engineering, pp.316-326, 2010.
DOI : 10.1007/978-3-642-19440-5_21
URL : https://hal.archives-ouvertes.fr/hal-01003795

M. Felleisen, R. B. Findler, and M. Flatt, Semantics engineering with PLT Redex, 2009.

R. B. Findler, M. Flatt, and M. Felleisen, Semantic Casts: Contracts and Structural Subtyping in a Nominal World, Proceedings of the 18th European Conference on Object-Oriented Programming, pp.365-389, 2004.
DOI : 10.1007/978-3-540-24851-4_17

O. Finot, J. Mottu, G. Sunyé, and T. Degueule, Using meta-model coverage to qualify test oracles, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00918569

M. Flatt, Creating languages in Racket, Communications of the ACM, vol.55, issue.1, pp.48-56, 2012.
DOI : 10.1145/2063176.2063195

F. Fleurey, B. Baudry, R. France, and S. Ghosh, A Generic Approach for Automatic Model Composition, International Conference on Model Driven Engineering Languages and Systems, pp.7-15, 2007.
DOI : 10.1007/978-3-540-69073-3_2
URL : https://hal.archives-ouvertes.fr/inria-00477568

F. Fleurey, B. Morin, A. Solberg, and O. Barais, MDE to Manage Communications with and between Resource-Constrained Systems, International Conference on Model Driven Engineering Languages and Systems, pp.349-363, 2011.
DOI : 10.1007/978-3-540-79996-2_10
URL : https://hal.archives-ouvertes.fr/hal-00647141

R. W. Floyd, Assigning meanings to programs, Mathematical aspects of computer science, vol.19, pp.19-321, 1967.
DOI : 10.1090/psapm/019/0235771

M. Fowler, Fluent interface, 2005.

M. Fowler, Language workbenches: The killer-app for domain specific languages, 2005.

M. Fowler, Domain-specific languages. Pearson Education, 2010.

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

G. Gabrysiak, H. Giese, A. Lüders, and A. Seibel, How can metamodels be used flexibly, Proceedings of ICSE 2011 workshop on flexible modeling tools, 2011.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1994.

K. Garcés, F. Jouault, P. Cointe, and J. Bézivin, Managing model adaptation by precise detection of metamodel changes, Model Driven Architecture-Foundations and Applications, pp.34-49, 2009.

J. Garcia and O. Díaz, Adaptation of Transformations to Metamodel Changes, Desarollo de Software Dirigido por Modelos, pp.1-9, 2010.

D. Gasevi?, 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.

A. Gill, Introduction to the Theory of Finite-state Machines, 1962.

A. Goldberg and D. Robson, Smalltalk-80: the language and its implementation, 1983.

M. Gouseti, C. Peters, T. Van, and . Storm, Extensible language implementation with object algebras (short paper), Proceedings of the 13th International Conference on Generative Programming: Concepts & Experiences (GPCE'14), pp.25-28, 2014.
DOI : 10.1145/2658761.2658765
URL : https://hal.archives-ouvertes.fr/hal-01110872

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

B. Gruschko, D. Kolovos, and R. Paige, Towards synchronizing models with evolving metamodels, Proceedings of the International Workshop on Model-Driven Software Evolution, 2007.

C. Guy, B. Combemale, S. Derrien, J. R. Steel, and J. Jézéquel, On Model Subtyping, Modelling Foundations and Applications, pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

A. Haber, M. Look, A. N. Perez, P. M. Nazari, B. Rumpe et al., Integration of heterogeneous modeling languages via extensible and composable language components, Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on, pp.19-31, 2015.

M. K. Hamiaz, M. Pantel, X. Thirioux, and B. Combemale, Correct-byconstruction model driven engineering composition operators, Formal Aspects of Computing, pp.1-32, 2016.

D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004.
DOI : 10.1109/MC.2004.172

J. Heering, P. R. Hendriks, P. Klint, and J. Rekers, The syntax definition formalism SDF---reference manual---, ACM SIGPLAN Notices, vol.24, issue.11, pp.43-75, 1989.
DOI : 10.1145/71605.71607

R. Heim, P. M. Nazari, B. Rumpe, and A. Wortmann, Compositional Language Engineering Using Generated, Extensible, Static Type-Safe Visitors, European Conference on Modelling Foundations and Applications, pp.67-82, 2016.
DOI : 10.1007/978-3-319-42061-5_5

G. T. Heineman and W. T. , Component-based software engineering . Putting the pieces together, p.5, 2001.

P. R. Henriques, M. V. Pereira, M. Mernik, M. Lenic, J. Gray et al., Automatic generation of language-based tools using the LISA system, IEE Proceedings - Software, vol.152, issue.2, pp.54-69, 2005.
DOI : 10.1049/ip-sen:20041317

M. Herrmannsdoerfer, COPE ??? A Workbench for the Coupled Evolution of Metamodels and Models, Software Language Engineering, pp.286-295, 2010.
DOI : 10.1007/978-3-642-19440-5_18

M. Herrmannsdoerfer, S. Benz, and E. Juergens, Automatability of Coupled Evolution of Metamodels and Models in Practice, Model Driven Engineering Languages and Systems, pp.645-659, 2008.
DOI : 10.1007/978-3-540-87875-9_45

M. Herrmannsdoerfer, S. Benz, and E. Juergens, Cope: A language for the coupled evolution of metamodels and models, 1st International Workshop on Model Co-Evolution and Consistency Management, 2008.

M. Herrmannsdoerfer, S. Benz, and E. Juergens, COPE - Automating Coupled Evolution of Metamodels and Models, ECOOP 2009?Object- Oriented Programming, pp.52-76, 2009.
DOI : 10.1016/j.entcs.2005.10.021

M. Herrmannsdoerfer, S. D. Vermolen, and G. Wachsmuth, An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models, 2010.
DOI : 10.1007/978-3-642-19440-5_10

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2392

K. Holldobler, B. Rumpe, and I. Weisemoller, Systematically deriving domain-specific transformation languages, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.136-145, 2015.
DOI : 10.1109/MODELS.2015.7338244
URL : http://arxiv.org/abs/1511.05366

P. Hudak, Building domain-specific embedded languages, ACM Computing Surveys, vol.28, issue.4es, p.196, 1996.
DOI : 10.1145/242224.242477
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5006

J. Hutchinson, M. Rouncefield, and J. Whittle, Model-driven engineering practices in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.633-642, 2011.
DOI : 10.1145/1985793.1985882

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

J. Hutchinson, J. Whittle, and M. Rouncefield, Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure, Science of Computer Programming, vol.89, pp.144-161, 2014.
DOI : 10.1016/j.scico.2013.03.017

R. Ierusalimschy, L. H. De-figueiredo, and W. C. Filho, Lua???An Extensible Extension Language, Software: Practice and Experience, vol.26, issue.6, pp.635-652, 1996.
DOI : 10.1002/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2941

A. Igarashi, B. C. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, pp.396-450, 2001.
DOI : 10.1145/503502.503505
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.1141

P. Inostroza, T. Van, and . Storm, Modular interpreters with implicit context propagation, Computer Languages, Systems & Structures, vol.48, 2016.
DOI : 10.1016/j.cl.2016.08.001

C. Jeanneret, M. Glinz, and B. Baudry, Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985875
URL : https://hal.archives-ouvertes.fr/hal-00641091

. Jetbrains, Meta-Programming System. https://www.jetbrains.com/ mps

J. Jézéquel, D. Méndez-acuña, T. Degueule, B. Combemale, and O. Barais, When systems engineering meets software language engineering, Proceedings of the Fifth International Conference on Complex Systems Design & Management (CSD&M 2014), pp.1-13, 2014.

J. Jézéquel, Model driven design and aspect weaving. Software & Systems Modeling, pp.209-218, 2008.

J. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, Software and Systems Modeling (SoSyM), pp.905-920, 2015.

S. C. Johnson, Yacc: Yet another compiler-compiler, NJ, vol.32, 1975.

A. Johnstone, E. Scott, and M. Van-den-brand, Modular grammar specification, Science of Computer Programming, vol.87, pp.23-43, 2014.
DOI : 10.1016/j.scico.2013.09.012
URL : http://repository.tue.nl/760600

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

G. Kahn, Natural semantics, Annual Symposium on Theoretical Aspects of Computer Science, pp.22-39, 1987.
DOI : 10.1007/BFb0039592
URL : https://hal.archives-ouvertes.fr/inria-00075953

G. Karsai, M. Maroti, Á. Lédeczi, J. Gray, and J. Sztipanovits, Composition and Cloning in Modeling and Meta-Modeling, IEEE Transactions on Control Systems Technology, vol.12, issue.2, pp.263-278, 2004.
DOI : 10.1109/TCST.2004.824311

G. Karsai, H. Krahn, C. Pinkernell, B. Rumpe, M. Schindler et al., Design guidelines for domain specific languages, Proceedings of the 9th Workshop on Domain-Specific Modeling (DSM'09), 2009.

U. Kastens and W. M. Waite, Modularity and reusability in attribute grammars, Acta Informatica, vol.14, issue.7, pp.31601-627, 1994.
DOI : 10.1007/BF01177548
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.6314

L. C. Kats and E. Visser, The spoofax language workbench: rules for declarative specification of languages and ides, Proceedings of the 25th International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA'10), pp.444-463, 2010.

S. Kell, In Search of Types, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! '14, pp.227-241, 2014.
DOI : 10.1145/2661136.2661154

M. Kerboeuf and J. Babau, A DSML for reversible transformations, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, pp.1-6, 2011.
DOI : 10.1145/2095050.2095057
URL : https://hal.archives-ouvertes.fr/hal-00631306

A. A. Khwaja and J. E. Urban, Syntax-directed editing environments, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing states of the art and practice, SAC '93, pp.230-237, 1993.
DOI : 10.1145/162754.162882

A. Kleppe, Software language engineering: creating domain-specific languages using metamodels, 2008.

P. Klint, R. Lämmel, and C. Verhoef, Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology, vol.14, issue.3, pp.331-380, 2005.
DOI : 10.1145/1072997.1073000

P. Klint, T. Van-der, J. Storm, and . Vinju, RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.168-177, 2009.
DOI : 10.1109/SCAM.2009.28

D. S. Kolovos, R. F. Paige, and F. A. Polack, Eclipse development tools for epsilon, Eclipse Summit Europe, Eclipse Modeling Symposium, p.200, 2006.

D. S. Kolovos, R. F. Paige, and F. A. Polack, Merging Models with the Epsilon Merging Language (EML), Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MODELS'06), pp.215-229, 2006.
DOI : 10.1007/11880240_16

D. S. Kolovos, R. F. Paige, and F. A. Polack, The Epsilon Transformation Language, International Conference on Theory and Practice of Model Transformations, pp.46-60, 2008.
DOI : 10.1007/978-3-540-69927-9_4

D. S. Kolovos, N. D. Matragkas, H. H. Rodríguez, and R. F. Paige, Programmatic muddle management, XM@ MoDELS, pp.2-10, 2013.

A. Königs, Model transformation with triple graph grammars, Model Transformations in Practice Satellite Workshop of MODELS, p.166, 2005.

H. Krahn, B. Rumpe, and S. Völkel, MontiCore: Modular Development of Textual Domain Specific Languages, Objects, Components, Models and Patterns, pp.297-315, 2008.
DOI : 10.1007/978-3-540-69824-1_17

H. Krahn, B. Rumpe, and S. Völkel, Monticore: a framework for compositional development of domain specific languages. International journal on software tools for technology transfer, pp.353-372, 2010.

T. Kühn and W. Cazzola, Apples and oranges, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, pp.50-59, 2016.
DOI : 10.1145/2934466.2934470

T. Kühn, W. Cazzola, and D. M. Olivares, Choosy and picky, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.71-80, 2015.
DOI : 10.1145/2791060.2791092

T. Kühne, On model compatibility with referees and contexts, Software and Systems Modeling (SoSyM), pp.475-488, 2013.
DOI : 10.1007/s10270-012-0241-4

A. Kunert, Semi-automatic Generation of Metamodels and Models From Grammars and Programs, Electronic Notes in Theoretical Computer Science, vol.211, pp.111-119, 2008.
DOI : 10.1016/j.entcs.2008.04.034

A. Kusel, J. Etzlstorfer, E. Kapsammer, W. Retschitzegger, W. Schwinger et al., Consistent co-evolution of models and transformations, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.116-125, 2015.
DOI : 10.1109/MODELS.2015.7338242

F. Latombe, X. Crégut, B. Combemale, J. Deantoni, and M. Pantel, Weaving Concurrency in Executable Domain-specific Modeling Languages, Proceedings of the 8th International Conference on Software Language Engineering (SLE'15), pp.125-136, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185911

A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett et al., The generic modeling environment, Workshop on Intelligent Signal Processing, p.114, 2001.

Á. Lédeczi, G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti, On metamodel composition, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204), pp.756-760, 2001.
DOI : 10.1109/CCA.2001.973959

S. Liang and P. Hudak, Modular denotational semantics for compiler construction, European Symposium on Programming, pp.219-234, 1996.
DOI : 10.1007/3-540-61055-3_39
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7816

S. Liang, P. Hudak, and M. Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.333-343, 1995.
DOI : 10.1145/199448.199528
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.268

D. H. Lorenz and B. Rosenan, Cedalion, ACM SIGPLAN Notices, vol.46, issue.10, pp.733-752, 2011.
DOI : 10.1145/2076021.2048123

T. Mayerhofer and M. Wimmer, The ttc 2015 model execution case. 8th Transformation Tool Contest, p.2015

J. Mccarthy, Towards a Mathematical Science of Computation, Program Verification, pp.35-56, 1993.
DOI : 10.1007/978-94-011-1793-7_2

S. J. Mellor, M. Balcer, and I. Foreword-by-jacoboson, Executable UML: A foundation for model-driven architectures, 2002.

D. Mendez, A. Etien, A. Muller, and R. Casallas, Towards Transformation Migration After Metamodel Evolution, Model and Evolution Workshop, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00524145

D. Méndez-acuña, J. A. Galindo, B. Combemale, A. Blouin, B. Baudry et al., Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages, International Conference on Software Reuse, pp.368-383, 2016.
DOI : 10.1007/978-3-319-35122-3_24

D. Méndez-acuña, J. A. Galindo, T. Degueule, B. Combemale, and B. Baudry, Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review, Computer Languages, Systems & Structures, vol.46
DOI : 10.1016/j.cl.2016.09.004

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

M. Mernik, An object-oriented approach to language compositions for software language engineering, Journal of Systems and Software, vol.86, issue.9, pp.2451-2464, 2013.
DOI : 10.1016/j.jss.2013.04.087

M. Mernik and V. Zumer, Reusability of formal specifications in programming language description, 1997.

M. Mernik, M. Lenic, E. Avdicau?evic, and V. Zumer, Multiple attribute grammar inheritance, Informatica, vol.24, issue.3, pp.319-328, 2000.
DOI : 10.1145/606666.606678

M. Mernik, M. Leni?, E. Avdi?au?evi?, and V. ?umer, LISA: An Interactive Environment for Programming Language Development, International Conference on Compiler Construction, pp.1-4, 2002.
DOI : 10.1007/3-540-45937-5_1

M. 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.735

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

B. Meyers and H. Vangheluwe, A framework for evolution of modelling languages, Science of Computer Programming, vol.76, issue.12, pp.1223-1246, 2011.
DOI : 10.1016/j.scico.2011.01.002

P. D. Mosses, The Varieties of Programming Language Semantics And Their Uses, Perspectives of System Informatics, pp.165-190, 2001.
DOI : 10.1007/3-540-45575-2_18

P. D. Mosses, Modular structural operational semantics, The Journal of Logic and Algebraic Programming, vol.60, pp.195-228, 2004.
DOI : 10.1016/j.jlap.2004.03.008
URL : http://doi.org/10.1016/j.jlap.2004.03.008

P. D. Mosses and M. J. New, Implicit Propagation in Structural Operational Semantics, Electronic Notes in Theoretical Computer Science, vol.229, issue.4, pp.49-66, 2009.
DOI : 10.1016/j.entcs.2009.07.073

S. Mustafiz, B. Barroca, C. Gomes, and H. Vangheluwe, Towards Modular Language Design Using Language Fragments: The Hybrid Systems Case Study, Information Technology: New Generations, pp.785-797, 2016.
DOI : 10.1007/978-3-319-32467-8_68

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

N. Nystrom, M. R. Clarkson, and A. C. Myers, Polyglot: An Extensible Compiler Framework for Java, International Conference on Compiler Construction, pp.138-152, 2003.
DOI : 10.1007/3-540-36579-6_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.3293

B. C. Oliveira, Modular Visitor Components, European Conference on Object-Oriented Programming, pp.269-293, 2009.
DOI : 10.1017/S0956796808006758

B. C. Oliveira and W. R. Cook, Extensibility for the Masses ? Practical Extensibility with Object Algebras, Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP'12), pp.2-27, 2012.

C. Omar, D. Kurilova, L. Nistor, B. Chung, A. Potanin et al., Safely Composable Type-Specific Languages, ECOOP 2014?Object- Oriented Programming, pp.105-130, 2014.
DOI : 10.1007/978-3-662-44202-9_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.5334

O. Meta, Object Facility (MOF) 2.0 Core Specification, 2006.

O. Uml, Profile For MARTE: Modeling and Analysis of Real-Time Embedded Systems, 2011.

J. Paakki, Attribute grammar paradigms---a high-level methodology in language implementation, ACM Computing Surveys, vol.27, issue.2, pp.196-255, 1995.
DOI : 10.1145/210376.197409

R. F. Paige, D. S. Kolovos, and F. A. Polack, A tutorial on metamodelling for grammar researchers, Science of Computer Programming, vol.96, pp.396-416, 2014.
DOI : 10.1016/j.scico.2014.05.007

R. F. Paige, N. Matragkas, and L. M. Rose, Evolving models in Model-Driven Engineering: State-of-the-art and future challenges, Journal of Systems and Software, vol.111, pp.272-280, 2016.
DOI : 10.1016/j.jss.2015.08.047

D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972.
DOI : 10.1145/361598.361623

D. L. Parnas, J. E. Shore, and D. Weiss, Abstract types defined as classes of variables, Proceedings of the 1976 Conference on Data : Abstraction, definition and structure, pp.149-154, 1976.

T. Parr, The definitive ANTLR 4 reference. Pragmatic Bookshelf, 2013.

A. Pescador, A. Garmendia, E. Guerra, J. S. Cuadrado, and J. De-lara, Pattern-based development of Domain-Specific Modelling Languages, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.166-175, 2015.
DOI : 10.1109/MODELS.2015.7338247

G. D. Plotkin, A structural approach to operational semantics, 1981.

C. B. Poulsen and P. D. Mosses, Generating Specialized Interpreters for Modular Structural Operational Semantics, International Symposium on Logic-Based Program Synthesis and Transformation, pp.220-236, 2013.
DOI : 10.1007/978-3-319-14125-1_13

L. Renggli and T. Gîrba, Why Smalltalk wins the host languages shootout, Proceedings of the International Workshop on Smalltalk Technologies, IWST '09, pp.107-113, 2009.
DOI : 10.1145/1735935.1735954
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.2440

M. Resnick, J. Maloney, A. Monroy-hernández, N. Rusk, E. Eastmond et al., Scratch, Communications of the ACM, vol.52, issue.11, pp.60-67, 2009.
DOI : 10.1145/1592761.1592779

E. Roche and Y. Schabes, Finite-state Language Processing, 1997.

T. Rompf and M. Odersky, Lightweight modular staging: a pragmatic approach to runtime code generation and compiled dsls, Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE'10), pp.127-136, 2010.
DOI : 10.1145/1942788.1868314

L. Rose, E. Guerra, J. D. Lara, A. Etien, D. Kolovos et al., Genericity for model management operations. Software & Systems Modeling, pp.201-219, 2013.
DOI : 10.1007/s10270-011-0203-2

L. M. Rose, D. S. Kolovos, R. F. Paige, and F. A. Polack, Model Migration with Epsilon Flock, Proceedings of the 4th International Conference on Model Transformation (ICMT'10), pp.184-198, 2010.
DOI : 10.1007/978-3-642-13688-7_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.7897

G. Ro?u and T. F. ?erb?nut?, An overview of the K semantic framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, pp.397-434, 2010.
DOI : 10.1016/j.jlap.2010.03.012

J. , S. Cuadrado, J. García, and . Molina, Approaches for Model Transformation Reuse: Factorization and Composition, Proceedings of the 1st International Conference on Model Transformations (ICMT'08), pp.168-182, 2008.

J. Saraiva, Component-Based Programming for Higher-Order Attribute Grammars, International Conference on Generative Programming and Component Engineering, pp.268-282, 2002.
DOI : 10.1007/3-540-45821-2_17

D. Schmidt, Denotational semantics: A methodology for language development, 1997.

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

A. Schürr, Specification of graph translators with triple graph grammars, International Workshop on Graph-Theoretic Concepts in Computer Science, pp.151-163, 1994.
DOI : 10.1007/3-540-59071-4_45

E. Seidewitz, UML with meaning: executable modeling in foundational UML and the alf action language, Proceedings of the 2014 Annual Conference on High Integrity Language Technology (HILT'14), pp.61-68, 2014.

S. Sen, N. Moha, B. Baudry, and J. Jézéquel, Meta-model Pruning, Proceedings of the 12th Internal Conference on Model Driven Engineering Languages and Systems, 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, 2003.
DOI : 10.1109/MS.2003.1231150

J. Siegel, CORBA 3 fundamentals and programming, 2000.

C. Simonyi, M. Christerson, and S. Clifford, Intentional software, Proceedings of the 21th International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA'06), pp.451-464, 2006.
DOI : 10.1145/1167515.1167511

D. Spinellis, Notable design patterns for domain-specific languages, Journal of Systems and Software, vol.56, issue.1, pp.91-99, 2001.
DOI : 10.1016/S0164-1212(00)00089-3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.1052

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

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, EMF: Eclipse Modeling Framework, 2008.

W. Sun, B. Combemale, S. Derrien, and R. B. France, Using Model Types to Support Contract-Aware Model Substitutability, Proceedings of the 9th European Conference on Modelling Fundations and Applications (ECMFA'13), pp.118-133, 2013.
DOI : 10.1007/978-3-642-39013-5_9
URL : https://hal.inria.fr/hal-00808770/file/ecmfa13-contractmatching.pdf

A. M. ?utîi, T. Verhoeff, and M. Van-den-brand, Modular multilevel metamodeling with MetaMod, Companion Proceedings of the 15th International Conference on Modularity, MODULARITY Companion 2016, pp.212-217, 2016.
DOI : 10.1145/2892664.2892702

E. Syriani and H. Ergin, Operational semantics of UML activity diagram: An application in project management, 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE), pp.1-8, 2012.
DOI : 10.1109/MoDRE.2012.6360083

M. Tatsubori, S. Chiba, M. Killijian, and K. Itano, Openjava: A classbased macro system for java, Workshop on Reflection and Software Engineering, pp.117-133, 1999.
DOI : 10.1007/3-540-45046-7_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.8863

T. Teitelbaum and T. Reps, The Cornell Program Synthesizer, ACM SIGPLAN Notices, vol.14, issue.10, pp.563-573, 1981.
DOI : 10.1145/953997.954001

J. Tolvanen and S. Kelly, MetaEdit+, Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, pp.819-820, 2009.
DOI : 10.1145/1639950.1640031

J. 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, pp.92-93, 2003.
DOI : 10.1007/11763864_41

E. Vacchi and W. Cazzola, Neverlang: A framework for feature-oriented language development, Computer Languages, Systems & Structures, vol.43, pp.1-40, 2015.
DOI : 10.1016/j.cl.2015.02.001

E. Vacchi, W. Cazzola, S. Pillay, and B. Combemale, Variability Support in Domain-Specific Language Development, Software Language Engineering, pp.76-95, 2013.
DOI : 10.1007/978-3-319-02654-1_5
URL : https://hal.archives-ouvertes.fr/hal-00914715

M. Van-den-brand, A. Van-deursen, J. Heering, H. D. Jong, M. De-jonge et al., The Asf+Sdf Meta-environment: A Component-Based Language Development Environment, International Conference on Compiler Construction, pp.365-370, 2001.
DOI : 10.1007/3-540-45306-7_26

M. Van-den-brand, B. Cornelissen, P. A. Olivier, and J. J. Vinju, TIDE: A Generic Debugging Framework ??? Tool Demonstration ???, Electronic Notes in Theoretical Computer Science, vol.141, issue.4, pp.161-165, 2005.
DOI : 10.1016/j.entcs.2005.02.056

T. Van and . Storm, The Rascal language workbench, CWI. Software Engineering [SEN], 2011.
URL : https://hal.archives-ouvertes.fr/hal-00645985

A. Van-deursen and P. Klint, Little languages: little maintenance? Journal of software maintenance, pp.75-92, 1998.

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

E. Van-wyk, D. Bodin, J. Gao, and L. Krishnan, Silver: An extensible attribute grammar system, Science of Computer Programming, vol.75, issue.1-2, pp.39-54, 2010.
DOI : 10.1016/j.scico.2009.07.004

D. Varró and A. Pataricza, Generic and Meta-transformations for Model Transformation Engineering, Proceedings of the 7th International Conference on UML Modelling Languages and Applications, pp.290-304, 2004.
DOI : 10.1007/978-3-540-30187-5_21

V. Vergu, P. Neron, and E. Visser, Dynsem: A dsl for dynamic semantics specification, 2015.

E. Visser, G. Wachsmuth, A. Tolmach, P. Neron, V. Vergu et al., A Language Designer's Workbench, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! '14, pp.95-111, 2014.
DOI : 10.1145/2661136.2661149

M. Voelter, Language and IDE Modularization and Composition with MPS, International Summer School on Generative and Transformational Techniques in Software Engineering, pp.383-430, 2011.
DOI : 10.1007/978-3-540-73589-2_27

M. Voelter, Generic tools, specific languages, 2014.

M. Voelter and K. Solomatov, Language modularization and composition with projectional language workbenches illustrated with mps, Software Language Engineering, p.16, 2010.

M. Voelter, D. Ratiu, B. Schaetz, and B. Kolb, mbeddr, Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity, SPLASH '12, pp.121-140, 2012.
DOI : 10.1145/2384716.2384767

M. Voelter, B. Kolb, and J. Warmer, Projecting a Modular Future, IEEE Software, vol.32, issue.5, p.2014
DOI : 10.1109/MS.2014.103

M. Völter and E. Visser, Language extension and composition with language workbenches, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, SPLASH '10, pp.301-304, 2010.
DOI : 10.1145/1869542.1869623

W. Schema, Part 0: Primer Second Edition, 2001.

G. Wachsmuth, Metamodel Adaptation and Model Co-adaptation, Proceedings of the 21st European Conference on Object-Oriented Programming, pp.600-624, 2007.
DOI : 10.1007/978-3-540-73589-2_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2222

G. H. Wachsmuth, G. D. Konat, and E. Visser, Language design with the spoofax language workbench. Software, IEEE, issue.5, pp.3135-3178, 2014.

P. Wadler, The expression problem. Java-genericity mailing list, 1998.

M. P. Ward, Language-oriented programming. Software-Concepts and Tools, pp.147-161, 1994.

M. Weiser, Program Slicing, Proceedings of the 5th International Conference on Software Engineering (ICSE'81), pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248

J. Whittle, J. Hutchinson, and M. Rouncefield, The State of Practice in Model-Driven Engineering, IEEE Software, vol.31, issue.3, pp.79-85, 2014.
DOI : 10.1109/MS.2013.65

M. Wimmer and G. Kramler, Bridging Grammarware and Modelware, International Conference on Model Driven Engineering Languages and Systems, pp.159-168, 2005.
DOI : 10.1007/11663430_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3835

N. Wirth, What can we do about the unnecessary diversity of notation for syntactic definitions?, Communications of the ACM, vol.20, issue.11, pp.822-823, 1977.
DOI : 10.1145/359863.359883

N. Wirth, Modula: A language for modular multiprogramming. Software: Practice and Experience, pp.1-35, 1977.
DOI : 10.1007/978-3-662-09507-2_18
URL : http://e-collection.ethbib.ethz.ch/show?type=incoll&nr=2007

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.5270

A. Zolotas, N. Matragkas, S. Devlin, D. S. Kolovos, and R. F. Paige, Type Inference in Flexible Model-Driven Engineering, European Conference on Modelling Foundations and Applications, pp.75-91, 2015.
DOI : 10.1007/978-3-319-21151-0_6