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

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 25, pp.5-7, 2015.
DOI : 10.1002/stvr.1532

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

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution Framework of the GEMOC Studio (Tool Demo) Tool demonstration, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, 2016.

H. C. Betty, T. Cheng, C. Degueule, S. Atkinson, U. Clarke et al., Motivating Use Cases for the Globalization of DSLs " . In: Globalizing Domain- Specific Languages, pp.21-42, 2014.

J. Benoît-combemale, O. Deantoni, C. Barais, A. Brun, T. 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.

T. Degueule, Interoperability and Composition of DSLs with Melange. Tech. rep. Submission to the ACM Student Research Competition Grand Finals, 2016.
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, A. Benoit-combemale, O. Blouin, J. Barais, and . 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, A. Benoit-combemale, O. Blouin, J. Barais, and . 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 In: PAUSE: Present and Ulterior Software Engineering, 2017.

T. Degueule, J. Bosco-ferreira-filho, O. Barais, M. Acher, J. Le-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

. Inria-diverse and . Team, The Melange Language Workbench. Version 0.2.0, 2016.

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, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00918569

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.

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, 2016.
DOI : 10.1016/j.cl.2016.09.004

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
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, E. Juan-de-lara, and . 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
DOI : 10.1109/MODELS.2015.7338241

T. Andrews, 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.

C. Atkinson and T. Kühne, A Tour of Language Customization Concepts, In: Advances in Computers, vol.70, pp.105-161, 2007.
DOI : 10.1016/S0065-2458(06)70003-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, 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. John and . Backus, Report on the algorithmic language ALGOL 60, Numerische Mathematik, vol.2, issue.1, pp.106-136, 1960.

W. John and . Backus, The FORTRAN automatic coding system " . In: Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability, pp.188-198, 1957.

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, The Coq proof assistant reference manual: Version 6, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00069968

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, 2016.

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

A. Benelellam, M. Tisi, J. Sanchéz-cuadrado, J. Juan-de-lara, and . 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. Peter-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, In: 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.52, pp.21-24, 2004.

J. Bézivin, On the unification power of models, Software & Systems Modeling 4, pp.171-188, 2005.
DOI : 10.1109/MS.2003.1231147

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, . Frédéric, 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

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, Kompren: modeling and generating model slicers, Software and Systems Modeling (SoSyM) (2012), pp.1-17
DOI : 10.1007/s10270-012-0300-x

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

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

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

C. Brabrand, I. Michael, and . Schwartzbach, Growing languages with metamorphic syntax macros, 2002.
DOI : 10.1145/503032.503035

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

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. ACM. 2016, pp.143-157

B. Kim, . Bruce, C. Joseph, and . Vanderwaart, Semantics-Driven Language Design:: Statically Type-Safe Virtual Types in Object-Oriented Languages, In: Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.

H. Bruneliere, J. Garcia, P. Desfray, R. Khelladi, R. Hebig et al., On Lightweight Metamodel Extension to Support Modeling Tools Agility, pp.62-74, 2015.
DOI : 10.1007/978-3-319-21151-0_5

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

D. Budgen, J. Andy, . Burn, . Pearl-brereton, A. Barbara et al., Empirical evidence about the UML: a systematic literature review, Software: Practice and Experience (SPE) 41, pp.363-392, 2011.
DOI : 10.1002/spe.1009

S. Peter, . Canning, R. William, . Cook, L. Walter et al., Interfaces for strongly-typed object-oriented programming, Proceedings of the 4th Conference on Object-oriented Programming Systems, Languages, and Applications, pp.457-467, 1989.

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 (MODELS'05, pp.54-68, 2005.
DOI : 10.1007/11557432_5

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

H. Betty, B. Cheng, . Combemale, B. Robert, J. France et al., On the Globalization of Domain- Specific Languages " . In: Globalizing Domain-Specific Languages, pp.1-6, 2015.

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

M. Churchill, D. Peter, P. Mosses, and . Torrini, Reusable components of semantic specifications, Proceedings of the 13th international conference on Modularity, MODULARITY '14, pp.145-156
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

URL : http://eprints.mdx.ac.uk/14672/1/XPL_clark.pdf

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, pp.7-20, 2015.
DOI : 10.1007/978-3-319-26172-0_2

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

M. Edmund and . Clarke, Orna Grumberg, and Doron Peled. Model checking, 1999.

M. Clavreul, Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00646893

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, T. Gary, C. Leavens, T. Chambers, and . Millstein, MultiJava, ACM SIGPLAN Notices, vol.35, issue.10, pp.130-145, 2000.
DOI : 10.1145/354222.353181

. Benoit-combemale, Towards Language-Oriented Modeling " . Accreditation to supervise research, 2015.

X. Benoit-combemale, P. Crégut, X. Garoche, and . 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

J. Benoit-combemale, B. Deantoni, . Baudry, B. Robert, J. France et al., Globalizing Modeling Languages, Computer, vol.47, issue.6, pp.68-71, 2014.
DOI : 10.1109/MC.2014.147

V. Cosentino, M. Tisi, J. L. , and C. Izquierdo, A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs, pp.423-435, 2015.
DOI : 10.1007/978-3-662-46078-8_35

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

L. Michelle, J. Crane, and . 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, and Z. Pap, András Pataricza, and Dániel Varró VIATRA-visual automated transformations for formal verification and validation of UML models, Automated Software Engineering Proceedings. ASE 2002. 17th IEEE International Conference on. IEEE, pp.267-270, 2002.

J. Sánchez-cuadrado, E. Guerra, J. , and L. , 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ánchez-cuadrado, E. Guerra, J. , and L. , Reverse Engineering of Model Transformations for Reusability, International Conference on Theory and Practice of Model Transformations, pp.186-201, 2014.
DOI : 10.1007/978-3-319-08789-4_14

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. De, L. , and E. Guerra, Deep meta-modelling with metadepth " . In: Objects, Models, Components, Patterns, pp.1-20, 2010.

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.

E. Juan-de-lara, J. Guerra, and . 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
DOI : 10.1109/MODELS.2015.7338246

J. De, L. , and H. Vangheluwe, AToM3: A Tool for Multiformalism and Meta-modelling, International Conference on Fundamental Approaches to Software Engineering, pp.174-188, 2002.

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 7, pp.443-467, 2008.
DOI : 10.1007/s10270-007-0073-9

M. Egea and V. Rusu, Formal executable semantics for conformance in the MDE framework, Innovations in Systems and Software Engineering, vol.16, issue.3, 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

URL : http://doi.org/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, G. Paolo, T. Giarrusso, and . Rendel, 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. Rendel, C. Kästner, and K. Ostermann, SugarJ: library-based 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, 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, In: Dagstuhl Reports, 2004.

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

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-00953537

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

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

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

R. Bruce-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

M. Flatt, Creating languages in Racket, Communications of the ACM, vol.551, pp.48-56, 2012.
DOI : 10.1145/2063166.2068896

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

W. Robert and . Floyd, Assigning meanings to programs, In: Mathematical aspects of computer science, vol.19, pp.19-32, 1967.

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

M. Fowler, Fluent interface. http://martinfowler.com/bliki/ FluentInterface.html, 2005.

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

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 In: 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). ACM. 2014, pp.25-28
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, S. Benoit-combemale, . Derrien, R. Jim, J. Steel et al., On Model Subtyping, pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30

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

A. Haber, M. Look, A. N. Perez, P. Mir-seyed-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. IEEE. 2015, pp.19-31

M. Mounira-kezadri-hamiaz, X. Pantel, B. Thirioux, and . Combemale, Correct-by-construction model driven engineering composition operators, Formal Aspects of Computing, vol.31, issue.3, pp.1-32, 2016.
DOI : 10.1007/s00165-016-0354-6

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

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. , H. 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

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

R. Heim, P. Mir-seyed-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

T. George, . Heineman, T. William, and . Councill, Component-based software engineering, Putting the pieces together, p.5, 2001.

P. Rangel-henriques, M. Mj-varanda-pereira, M. Mernik, J. Lenic, H. Gray et al., Automatic generation of language-based tools using the LISA system, IEE Proceedings-Software 152, pp.54-69, 2005.
DOI : 10.1049/ip-sen:20041317

M. Herrmannsdoerfer, COPE ??? A Workbench for the Coupled Evolution of Metamodels and Models, 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, pp.645-659, 2008.
DOI : 10.1007/978-3-540-87875-9_45

M. Herrmannsdoerfer, S. Benz, and E. Juergens, COPEautomating coupled evolution of metamodels and models, ECOOP 2009?Object-Oriented Programming, pp.52-76, 2009.

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

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.

C. A. and R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.1210, 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
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, 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

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

D. Jean and . Ichbiah, Reference manual for the Ada programming language, 1983.

R. Ierusalimschy, L. Henrique-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, C. Benjamin, P. Pierce, and . 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

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, JetBrains

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

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

C. Stephen and . 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, 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, 2009.

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

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

U. Kastens and W. M. Waite, Modularity and reusability in attribute grammars, Acta Informatica, vol.14, issue.7, pp.601-627, 1994.
DOI : 10.1007/BF01177548

C. Lennart, E. Kats, and . 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
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. Amir, . Khwaja, E. Joseph, and . Urban, Syntax-directed editing environments: Issues and features, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, pp.230-237, 1993.

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 " . In: Source Code Analysis and Manipulation, 2009. SCAM'09, Ninth IEEE International Working Conference on. IEEE, pp.168-177, 2009.

S. Dimitrios, N. D. Kolovos, H. H. Matragkas, . Rodríguez, F. Richard et al., Programmatic Muddle Management, In: XM@ MoDELS, pp.2-10, 2013.

S. Dimitrios, . Kolovos, F. Richard, . Paige, A. Fiona et al., Eclipse development tools for epsilon, Eclipse Summit Europe, p.200, 2006.

S. Dimitrios, . Kolovos, F. Richard, . Paige, A. Fiona et al., 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.

S. Dimitrios, . Kolovos, F. Richard, . Paige, A. Fiona et al., The epsilon transformation language, International Conference on Theory and Practice of Model Transformations, pp.46-60, 2008.

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

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

H. Krahn, B. Rumpe, and S. Völkel, Monticore: Modular development of textual domain specific languages " . In: Objects, Components, Models and Patterns, pp.297-315, 2008.

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
DOI : 10.1109/MODELS.2015.7338242

E. Juan-de-lara, J. Guerra, and . 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
DOI : 10.1109/MODELS.2015.7338246

F. Latombe, X. Crégut, J. Benoit-combemale, M. Deantoni, and . Pantel, Weaving Concurrency in Executable Domain-specific Modeling Languages, Proceedings of the 8th International Conference on Software Language Engineering (SLE'15). ACM. 2015, pp.125-136
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

H. David, B. Lorenz, and . Rosenan, Cedalion: a language for language oriented programming, In: ACM SIGPLAN Notices, vol.46, issue.10, pp.733-752, 2011.

T. Mayerhofer and M. Wimmer, The TTC 2015 Model Execution Case, 8th Transformation Tool Contest, CEUR, 2015.

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

J. Stephen, M. Mellor, and I. Balcer, Executable UML: A foundation for model-driven architectures, 2002.

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

D. Méndez-acuña, A. José, B. Galindo, A. Combemale, B. Blouin 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

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, J. Heering, M. Anthony, and . 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

M. Mernik, M. Lenic, E. Avdicau?evic, and V. Zumer, Multiple attribute grammar inheritance, 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 and V. Zumer, Reusability of formal specifications in programming language description, 1997.

B. Meyer, Applying'design by contract, Computer, vol.2510, 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

D. Peter and . Mosses, Modular structural operational semantics, The Journal of Logic and Algebraic Programming, vol.60, pp.195-228, 2004.

D. Peter and . Mosses, The varieties of programming language semantics and their uses, Perspectives of System Informatics, pp.165-190, 2001.

D. Peter, . Mosses, J. Mark, and . New, Implicit propagation in structural operational semantics, In: Electronic Notes in Theoretical Computer Science, vol.2294, pp.49-66, 2009.

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.

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

L. Marques, D. L. Nascimento, P. Viana, . Am-silveira, . Neto et al., A systematic mapping study on domain-specific languages, Proceedings of the 7th International Conference on Software Engineering Advances (ICSEA'12). 2012, pp.179-187

N. Nystrom, R. Michael, . Clarkson, C. Andrew, and . 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

C. Bruno and S. Oliveira, Modular visitor components, European Conference on Object-Oriented Programming, pp.269-293, 2009.

C. Bruno, S. Oliveira, and W. R. Cook, Extensibility for the Masses ? Practical Extensibility with Object Algebras, Proceedings of the 26th European Conference on Object-Oriented Programming, 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

F. Richard, D. S. Paige, . Kolovos, A. Fiona, and . Polack, A tutorial on metamodelling for grammar researchers, Science of Computer Programming, vol.96, pp.396-416, 2014.

F. Richard, N. Paige, . Matragkas, M. Louis, and . Rose, Evolving models in model-driven engineering: State-of-the-art and future challenges, In: Journal of Systems and Software, vol.111, pp.272-280, 2016.

P. David-lorge, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.1512, pp.1053-1058, 1972.

. David-lorge-parnas, E. John, D. Shore, and . 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ánchez-cuadrado, J. et al., Pattern-based development of domainspecific modelling languages, Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MOD- ELS'15). IEEE. 2015, pp.166-175

D. Gordon and . Plotkin, A structural approach to operational semantics. Tech. rep. DAIMI-FN-19, 1981.

C. Bach-poulsen, D. Peter, and . 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

M. Resnick, 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.

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

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

G. Ro?u-and-traian-florin and . ?erb?nut?, An overview of the K semantic framework, The Journal of Logic and Algebraic Programming, vol.796, pp.397-434, 2010.

J. Sánchez, C. , and J. 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.

C. Douglas and . Schmidt, Model-driven Engineering, IEEE Computer, vol.392, pp.25-31, 2006.

A. Schürr, Specification of graph translators with triple graph grammars, 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, 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 56, 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.
DOI : 10.1007/s10270-006-0036-6

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

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

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

W. Sun, S. Benoit-combemale, R. Derrien, and . 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

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
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 Class-Based Macro System for Java, Workshop on Reflection and Software Engineering, pp.117-133, 1999.
DOI : 10.1007/3-540-45046-7_7

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+, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.92-93, 2003.
DOI : 10.1145/949344.949365

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, 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, A. Pieter, . Olivier, J. Jurgen et al., 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

A. Van-deursen and P. Klint, Little languages: little maintenance? In: Journal of software maintenance 10, 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.751, pp.39-54, 2010.

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
DOI : 10.1145/2661136.2661149

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

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, S. Benz, C. Dietrich, B. Engelmann, M. Helander et al., DSL engineering: Designing, implementing and using domain-specific languages, 2013.
DOI : 10.1109/splc.2011.25

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

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
DOI : 10.1145/2384716.2384767

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

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

H. Guido, . Wachsmuth, D. Gabriel, E. Konat, and . Visser, Language Design with the Spoofax Language Workbench, Software, IEEE 31, pp.35-43, 2014.

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

P. Martin and . 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, Modula: A language for modular multiprogramming, Software: Practice and Experience, pp.1-35, 1977.
DOI : 10.1002/spe.4380070102

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

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

A. Zolotas, N. Matragkas, S. Devlin, D. S. Kolovos, F. Richard et al., 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