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, 2014.
DOI : 10.1145/2661136.2661159
URL : https://hal.archives-ouvertes.fr/hal-01061576

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, On challenges of model transformation from uml to alloy. Software and Systems Modeling, pp.69-86, 2010.

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009.

K. Androutsopoulos, D. Binkley, D. Clark, N. Gold, M. Harman et al., Model projection, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.291-300, 2011.
DOI : 10.1145/1985793.1985834

A. Arnold, Transition systems and concurrent processes Mathematical problems in Computation theory, 1987.

L. Atzori, A. Iera, and G. Morabito, The Internet of Things: A survey, Computer Networks, vol.54, issue.15, pp.2787-2805, 2010.
DOI : 10.1016/j.comnet.2010.05.010

J. Babau and M. Kerboeuf, Domain Specific Language Modeling Facilities, MoDELS Workshop on Models and Evolution, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00632336

G. Balbo, Introduction to Generalized Stochastic Petri Nets, Lecture Notes in Computer Science, vol.4486, pp.83-131, 2007.
DOI : 10.1007/978-3-540-72522-0_3

L. Barroca, J. L. Fiadeiro, M. Jackson, R. Laney, and B. Nuseibeh, Problem Frames: A Case for Coordination, Coordination, 2004.
DOI : 10.1145/158431.158438

B. Baudry, S. Allier, and M. Monperrus, Tailored source code transformations to synthesize computationally diverse program variants, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.149-159, 2014.
DOI : 10.1145/2610384.2610415
URL : https://hal.archives-ouvertes.fr/hal-00938855

R. Bendraou, J. Jézéquel, and F. Fleurey, Combining aspect and modeldriven engineering approaches for software process modeling and execution, Trustworthy Software Development Processes, pp.148-160

A. Benelallam, M. Tisi, and D. Launay, Neo4EMF, A Scalable Persistence Layer for EMF Models, 2014.
DOI : 10.1007/978-3-319-09195-2_15
URL : https://hal.archives-ouvertes.fr/hal-00968516

A. Benveniste, B. Caillaud, L. Carloni, and A. Sangiovanni-vincentelli, Tag machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086276

B. Berthomieu, J. Bodeveix, M. Filali, P. Farail, P. Gaufillet et al., FIACRE: an Intermediate Language for Model Verification in the topcased Environment, ERTS'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Kompren: modeling and generating model slicers. Software and System Modeling, pp.321-337, 2015.
DOI : 10.1007/s10270-012-0300-x
URL : https://hal.archives-ouvertes.fr/hal-00746566

P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn et al., Centaur: the system, ACM SIGPLAN Notices, vol.24, issue.2, pp.14-24, 1989.
DOI : 10.1145/64140.65005
URL : https://hal.archives-ouvertes.fr/inria-00075774

F. Boulanger and C. Hardebolle, Simulation of Multi-Formalism Models with ModHel'X, 2008 International Conference on Software Testing, Verification, and Validation, pp.318-327, 2008.
DOI : 10.1109/ICST.2008.15
URL : https://hal.archives-ouvertes.fr/hal-00289188

E. Bousse, Combining Verification and Validation techniques, Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, pp.1-10, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01183129

E. Bousse, B. Combemale, and B. Baudry, Scalable Armies of Model Clones through Data Sharing, 17th International Conference on Model Driven Engineering Languages and Systems, 2014.
DOI : 10.1007/978-3-319-11653-2_18
URL : https://hal.archives-ouvertes.fr/hal-01023681

E. Bousse, B. Combemale, and B. Baudry, Towards Scalable Multidimensional Execution Traces for xDSMLs Verification and Validation Integrating Verification and Validation in MDE, 11th Workshop on Model Design, 2014.

E. Bousse, J. Corley, B. Combemale, J. Gray, and B. Baudry, Supporting Efficient and Advanced Omniscient Debugging for xDSMLs, 8th International Conference on Software Language Engineering, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182517

E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry, A Generative Approach to Define Rich Domain-Specific Trace Metamodels, 11th European Conference on Modelling Foundations and Applications (ECMFA 2015), 2015.
DOI : 10.1007/978-3-319-21151-0_4
URL : https://hal.archives-ouvertes.fr/hal-01154225

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

J. Bruel, I. Benoit-combemale, H. Ober, and . Raynal, MDE in Practice for Computational Science, International Conference on Computational Science, 2015.
DOI : 10.1016/j.procs.2015.05.182
URL : https://hal.archives-ouvertes.fr/hal-01141393

B. Chapman, M. Haines, P. Mehrota, H. Zima, and J. Van-rosendale, Opus: A coordination language for multidisciplinary applications. Sci. Program, 1997.

F. Chauvel and J. Jézéquel, Code Generation from UML Models with Semantic Variation Points, Model Driven Engineering Languages and Systems, pp.54-68, 2005.
DOI : 10.1007/11557432_5
URL : https://hal.archives-ouvertes.fr/hal-00795105

H. Cho and J. Gray, Design patterns for metamodels, 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.25-32, 2011.
DOI : 10.1145/2095050.2095056
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.5255

T. Clark, A. Evans, and S. Kent, The Metamodelling Language Calculus: Foundation Semantics for UML, FASE'01, pp.17-31, 2001.
DOI : 10.1007/3-540-45314-8_3

T. Clark, P. Sammut, and J. Willans, Applied Metamodelling ? A Foundation for Language Driven Development, 2008.

C. Clifton and G. T. Leavens, Multijava: Modular open classes and symmetric multiple dispatch for java, Int. Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), pp.130-145, 2000.

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

X. Benoit-combemale, P. Crégut, X. Garoche, F. Thirioux, and . Vernadat, A Property-Driven Approach to Formal Verification of Process Models, Enterprise Information System IX, pp.286-300, 2008.
DOI : 10.1007/978-3-540-88710-2_23

X. Benoit-combemale, M. Crégut, and . Pantel, A Design Pattern to Build Executable DSMLs and Associated V&V Tools, 2012 19th Asia-Pacific Software Engineering Conference, 2012.
DOI : 10.1109/APSEC.2012.79

J. Benoit-combemale, O. Deantoni, A. Barais, E. Blouin, and . Bousse, Cédric Brun, Thomas Degueule, and Didier Vojtisek. A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio, 8th Transformation Tool Contest, p.2015, 2015.

J. Benoit-combemale, M. Deantoni, F. Vara-larsen, O. Mallet, B. Barais et al., Reifying Concurrency for Executable Metamodeling, 6th International Conference on Software Language Engineering, 2013.
DOI : 10.1007/978-3-319-02654-1_20

C. Benoit-combemale, C. Hardebolle, F. Jacquet, B. Boulanger, and . Baudry, Bridging the Chasm between Executable Metamodeling and Models of Computation, 5th International Conference on Software Language Engineering, 2012.
DOI : 10.1007/978-3-642-36089-3_11

B. H. Benoit-combemale, A. Cheng, J. Moreira, J. Bruel, and . Gray, Modeling for sustainability, Proceedings of the 8th International Workshop on Modeling in Software Engineering, MiSE '16, 2015.
DOI : 10.1145/2896982.2896992

S. Cook, G. Jones, S. Kent, and A. C. Wills, Domain-specific development with visual studio dsl tools, 2007.

J. Corley, B. P. Eddy, and J. Gray, Towards Efficient and Scalabale Omniscient Debugging for Model Transformations, Proceedings of the 14th Workshop on Domain-Specific Modeling, DSM '14, pp.13-18, 2014.
DOI : 10.1145/2688447.2688450

D. Bas-cornelissen, A. Holten, L. Zaidman, J. J. Moonen, A. Van-wijk et al., Understanding Execution Traces Using Massive Sequence and Circular Bundle Views, 15th IEEE International Conference on Program Comprehension (ICPC '07), pp.49-58, 2007.
DOI : 10.1109/ICPC.2007.39

M. Crane and J. Dingel, UML vs. classical vs. rhapsody statecharts: not all models are created equal, Software & Systems Modeling, vol.1, issue.2, pp.415-435, 2007.
DOI : 10.1007/s10270-006-0042-8

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable Metamodels for Semantic Variation Points, ECMDA-FA, 2007.
DOI : 10.1007/978-3-540-72901-3_6

K. Czarnecki, J. N. Foster, Z. Hu, R. Lämmel, A. Schürr et al., Bidirectional Transformations: A Cross-Discipline Perspective, ICMT, 2009.
DOI : 10.1007/978-3-540-70583-3_22

J. De, L. , and E. Guerra, Generic meta-modelling with concepts, templates and mixin layers, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS, 2010.

J. De, L. , and E. Guerra, From types to type requirements: genericity for modeldriven engineering, International Journal on Software and Systems Modeling, 2011.

E. Juan-de-lara, J. Guerra, and . Sánchez-cuadrado, Abstracting Modelling Languages: A Reutilization Approach, Advanced Information Systems Engineering, pp.127-143
DOI : 10.1007/978-3-642-31095-9_9

J. Dean, Power to the people in energy revolution: Eco-batteries will slash household bills. The Times, 2015.

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015.
DOI : 10.7873/DATE.2015.1052
URL : https://hal.archives-ouvertes.fr/hal-01087442

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events
URL : https://hal.archives-ouvertes.fr/hal-00721169

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, TOOLS, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590

T. Degueule, A. Benoit-combemale, O. Blouin, J. Barais, and . Jézéquel, Melange: A Meta-language for Modular and Reusable Development of DSLs, 8th International Conference on Software Language Engineering, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

J. Papa-issa-diallo, V. Champeau, and . Leilde, Model based engineering for the support of models of computation: The cometa approach, MPM, 2011.

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

B. Matthew, S. Dwyer, and . Elbaum, Unifying verification and validation techniques: relating behavior and properties through partial evidence, Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10), pp.93-97, 2010.

S. Efftinge, S. Moritz-eysholdt-köhnlein, . Zarnekow, W. Robert-von-massow, M. Hasselbring et al., Xbase, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pp.112-121, 2012.
DOI : 10.1145/2371401.2371419

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, 2003.
DOI : 10.1109/JPROC.2002.805829

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

S. Erdweg, P. G. Giarrusso, and T. , Language composition untangled, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA '12, pp.1-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 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp.391-406, 2011.

S. Erdweg, T. Van-der-storm, M. Völter, M. Boersma, R. Bosman et al., The State of the Art in Language Workbenches, The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge SLE, pp.197-217, 2013.
DOI : 10.1007/978-3-319-02654-1_11
URL : https://hal.archives-ouvertes.fr/hal-00923386

E. Ernst, Family Polymorphism, Object-Oriented Programming, pp.303-326, 2001.
DOI : 10.1007/3-540-45337-7_17

R. Eshuis and R. Wieringa, Tool support for verifying UML activity diagrams, IEEE Transactions on Software Engineering, vol.30, issue.7, pp.437-447, 2004.
DOI : 10.1109/TSE.2004.33

J. Estublier, G. Vega, and A. Ionita, Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications, Proc. of MODELS'05, pp.69-83, 2005.
DOI : 10.1007/11557432_6

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

P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma et al., The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEms Design, Embedded Real Time Software (ERTS'06), pp.25-27, 2006.

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

F. Fleurey, B. Baudry, R. France, and S. Ghosh, A Generic Approach for Automatic Model Composition, AOM Workshop at Models, 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, Proc. of MODELS'11, pp.349-363, 2011.
DOI : 10.1007/978-3-540-79996-2_10
URL : https://hal.archives-ouvertes.fr/hal-00647141

J. , N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce et al., Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem, ACM TOPLAS, issue.3, p.29, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00484971

M. Fowler, One language http://martinfowler.com/bliki/OneLanguage.html, 2007.

M. Fowler, Domain Specific Languages, 2010.

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

B. Lars-ake-fredlund, J. Jonsson, and . Parrow, An implementation of a translational semantics for an imperative language, In CONCUR Lecture Notes in Computer Science, vol.458, pp.246-262, 1990.
DOI : 10.1007/BFb0039064

S. Friedenthal, A. Moore, and R. Steiner, A practical guide to SysML: the systems modeling language, 2014.

K. B. Gallagher and J. R. Lyle, Using program slicing in software maintenance. Software Engineering, IEEE Transactions on, vol.17, issue.8, pp.751-761, 1991.

E. Gamma, R. Helm, and R. Johnson, Design Patterns. Elements of Reusable Object-Oriented Software, 1995.

M. Geilen, T. Basten, and S. Stuijk, Minimising buffer requirements of synchronous dataflow graphs with model checking [85] Debasish Ghosh. DSLs in Action, DAC, pp.819-824, 2005.

A. Gill, Domain-specific languages and code synthesis using Haskell, Communications of the ACM, vol.57, issue.6, pp.30-3043, 2014.
DOI : 10.1145/2605205

D. Gries, The science of programming, 1981.
DOI : 10.1007/978-1-4612-5983-1

C. Guy, S. Benoit-combemale, J. Derrien, and . Jézéquel, On Model Subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), number 7349 in Lecture Notes in Computer Science, pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

D. Harel and H. Kugler, The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Integration of Software Specification Techniques for Applications in Engineering, pp.325-354, 2004.
DOI : 10.1007/978-3-540-27863-4_19

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

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

C. A. and R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

C. A. and R. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

C. Hofer and K. Ostermann, Tillmann Rendel, and Adriaan Moors Polymorphic embedding of dsls, 7th International Conference on Generative Programming and Component Engineering (GPCE), pp.137-148, 2008.

Z. Hu, A. Schürr, P. Stevens, and J. F. Terwilliger, Bidirectional transformation "bx" (dagstuhl seminar 11031), Dagstuhl Reports, vol.1, issue.1, 2011.
DOI : 10.1145/2007206.2007217
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.3023

P. Hudak, Modular domain specific languages and tools, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203), pp.134-142, 1998.
DOI : 10.1109/ICSR.1998.685738

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. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

A. Jantsch, Modeling Embedded Systems and SoCs, 2004.

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

J. Jézéquel, O. Barais, and F. Fleurey, Model Driven Language Engineering with Kermeta, Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'09), pp.201-221, 2011.
DOI : 10.1007/978-3-642-18023-1_5

J. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of metalanguages and its implementation in the kermeta language workbench, Software and System Modeling, pp.905-920, 2015.

H. Kagdi, J. I. Maletic, and A. Sutton, Context-free slicing of UML class models, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.635-638, 2005.
DOI : 10.1109/ICSM.2005.34

G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle, On the use of graph transformations for the formal specification of model interpreters, Journal of Universal Computer Science, vol.9, 2003.

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

C. L. Lennart, E. Kats, and . Visser, The spoofax language workbench: rules for declarative specification of languages and ides, ACM SIGPLAN Notices, vol.45, pp.444-463, 2010.

S. Kelly, K. Lyytinen, M. Rossi, and J. Tolvanen, MetaEdit+ at the Age of 20, Seminal Contributions to Information Systems Engineering, pp.131-137, 2013.
DOI : 10.1007/978-3-642-36926-1_10

S. Kelly and R. Pohjonen, Worst Practices for Domain-Specific Modeling, IEEE Software, vol.26, issue.4, pp.22-29, 2009.
DOI : 10.1109/MS.2009.109

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, 2011.
DOI : 10.1145/2095050.2095057
URL : https://hal.archives-ouvertes.fr/hal-00631306

A. Kleppe, Software Language Engineering: Creating Domain-Specific Languages Using Metamodels, 2008.

E. Donald and . Knuth, Semantics of context-free languages, Theory of Computing Systems, pp.127-145, 1968.

D. S. Kolovos, R. F. Paige, and F. A. Polack, Merging Models with the Epsilon Merging Language (EML), In ACM/IEEE Models, 2006.
DOI : 10.1007/11880240_16

D. Kolovos, N. Lm-rose, and . Matragkas, A research roadmap towards achieving scalability in model driven engineering, Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE '13, 2013.
DOI : 10.1145/2487766.2487768
URL : https://hal.archives-ouvertes.fr/hal-00869267

B. Korel, I. Singh, L. Tahat, and B. Vaysburg, Slicing of state-based models, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings., pp.34-43, 2003.
DOI : 10.1109/ICSM.2003.1235404

H. Krahn, B. Rumpe, and S. Volkel, Monticore: Modular development of textual domain specific languages Monticore: a framework for compositional development of domain specific languages, Objects, Components, Models and Patterns, pp.297-315, 2008.

A. Kusel, . Schönböck, . Wimmer, . Kappel, W. Retschitzegger et al., Reuse in model-to-model transformation languages: are we there yet?, Software & Systems Modeling, vol.43, issue.4, pp.1-36, 2013.
DOI : 10.1007/s10270-013-0343-7

S. Kuske, M. Gogolla, R. Kollmann, and H. Kreowski, An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation, IFM'02, pp.11-28, 2002.
DOI : 10.1007/3-540-47884-1_2

T. Kühne, On model compatibility with referees and contexts, Software & Systems Modeling, vol.14, issue.4, p.2012
DOI : 10.1007/s10270-012-0241-4

K. Lano and S. Kolahdouz-rahimi, Slicing of UML Models Using Model Transformations, Model Driven Engineering Languages and Systems, pp.228-242, 2010.
DOI : 10.1109/TSE.1984.5010248

K. Lano and S. Kolahdouz-rahimi, Slicing Techniques for UML Models., The Journal of Object Technology, vol.10, issue.11, pp.1-49, 2011.
DOI : 10.5381/jot.2011.10.1.a11

F. Latombe, X. Crégut, B. Combemale, J. Deantoni, and M. Pantel, Weaving Concurrency in eXecutable Domain-Specific Modeling Languages, 8th ACM SIGPLAN International Conference on Software Language Engineering, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185911

A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom et al., Composing domain-specific design environments, Computer, vol.34, issue.11, pp.3444-51, 2001.
DOI : 10.1109/2.963443
URL : http://real.mtak.hu/4598/1/1116623.pdf

E. A. Lee, Overview of the Ptolemy project, 2003.

A. Edward, A. L. Lee, and . Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

B. H. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

B. Amory and . Lovins, The negawatt revolution, Across the Board, 1990.

F. Mallet, J. Deantoni, C. André, R. , and S. , The clock constraint specification language for building timed causality models -application to synchronous data flow graphs, ISSE, vol.6, issue.12, pp.99-106, 2010.

S. Markovic and T. Baar, Semantics of OCL specified with QVT, Software & Systems Modeling, vol.37, issue.10, pp.399-422, 2008.
DOI : 10.1007/s10270-008-0083-2

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

J. Mccarthy, Towards a mathematical science of computation. Information processing, pp.21-28, 1962.

J. Stephen, M. Mellor, and . Balcer, Executable UML -A Foundation for Model-Driven Architecture, 2002.

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

M. Mernik, Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013.
DOI : 10.4018/978-1-4666-2092-6

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

M. Mernik and V. Zumer, Reusability of formal specifications in programming language description, 8th Annual Workshop on Software Reuse, WISR8, pp.1-4, 1997.

B. Meyer, Eiffel: the language, 1992.

B. Meyer, Multi-language programming: how .NET does it Software Development (3-part article Part 1: Polyglot Programming; Part 2: Respecting other object models; Part 3: Interoperability: at what cost, 2002.

A. Leo, A. S. Meyerovich, and . Rabkin, Socio-PLT: Principles for Programming Language Adoption, Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! '12, pp.39-54, 2012.

A. Leo, . Meyerovich, S. Ariel, and . Rabkin, Empirical analysis of programming language adoption, Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications, pp.1-18, 2013.

R. Milner, A calculus of communicating systems, 1982.
DOI : 10.1007/3-540-10235-3

R. Milner, Communication and concurrency, 1995.

M. Minsky, Matter, mind, and models, Semantic Information Processing, pp.425-432, 1968.

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

G. Mussbacher, D. Amyot, R. Breu, J. Bruel, B. Cheng et al., The Relevance of Model-Driven Engineering Thirty Years from Now, 17th International Conference on Model Driven Engineering Languages and Systems of Model-Driven Engineering Languages and Systems, p.18, 2014.
DOI : 10.1007/978-3-319-11653-2_12
URL : https://hal.archives-ouvertes.fr/hal-01081848

L. Northrop, P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger et al., Ultra-Large-Scale Systems -The Software Challenge of the Future, 2006.

V. Papailiopoulou, D. Potop-butucaru, Y. Sorel, R. De-simone, L. Besnard et al., From design-time concurrency to effective implementation parallelism: The multi-clock reactive case, 2011 Electronic System Level Synthesis Conference (ESLsyn), pp.1-6, 2011.
DOI : 10.1109/ESLsyn.2011.5952287

M. Craig, J. J. Pease, and . Bull, Scientific Decision-Making

C. A. Petri, Introduction to general net theory, Advanced Course: Net Theory and Applications, pp.1-19, 1975.
DOI : 10.1007/3-540-10001-6_21

D. Gordon and . Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming, 1981.

J. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, 5th Colloquium on International Symposium on Programming, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

J. Romero, J. E. Rivera, F. Duran, and A. Vallecillo, Formal and Tool Support for Model Driven Engineering with Maude., The Journal of Object Technology, vol.6, issue.9, pp.187-207, 2007.
DOI : 10.5381/jot.2007.6.9.a10

T. Rompf and M. Odersky, Lightweight modular staging, ACM SIGPLAN Notices, vol.46, issue.2, pp.127-136, 2010.
DOI : 10.1145/1942788.1868314

G. Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, 1997.
DOI : 10.1142/3303

J. Sánchez, C. , and J. Molina, Approaches for model transformation reuse: Factorization and composition, ICMT, 2008.

J. Saraiva, Component-Based Programming for Higher-Order Attribute Grammars, Proc. of GPCE, pp.268-282, 2002.
DOI : 10.1007/3-540-45821-2_17

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

E. Schulte, Z. Fry, E. Fast, W. Weimer, and S. Forrest, Software mutational robustness and proactive diversity, 2011.
DOI : 10.1007/s10710-013-9195-8
URL : http://arxiv.org/abs/1204.4224

S. Dana, C. Scott, and . Strachey, Toward a mathematical semantics for computer languages, 1971.

E. Seidewitz, Uml with meaning: Executable modeling in foundational uml and the alf action language, Proceedings of the 2014 ACM SIGAda 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, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

S. Sen, N. Moha, V. Mahé, O. Barais, B. Baudry et al., Reusable model transformations, Software & Systems Modeling, vol.37, issue.11, 2010.
DOI : 10.1007/s10270-010-0181-9
URL : https://hal.archives-ouvertes.fr/inria-00542766

A. Shaikh, R. Clarisó, U. K. Wiil, and N. Memon, Verification-driven slicing of UML/OCL models, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.185-194, 2010.
DOI : 10.1145/1858996.1859038

A. Shaikh, U. K. Wiil, and N. Memon, Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams, Advances in Software Engineering, vol.33, issue.4, pp.5-6, 2011.
DOI : 10.1007/BF02943330

M. Shaw, R. Deline, D. V. Klein, T. L. Ross, D. M. Young et al., Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, 1995.
DOI : 10.1109/32.385970

M. Shonle, K. Lieberherr, and A. Shah, XAspects, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.28-37, 2003.
DOI : 10.1145/949344.949349

S. Sidiroglou-douskos, S. Misailovic, H. Hoffmann, and M. Rinard, Managing performance vs. accuracy trade-offs with loop perforation, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.124-134, 2011.
DOI : 10.1145/2025113.2025133

B. Solomon, D. Ionescu, M. Litoiu, and M. Mihaescu, Model-Driven Engineering for Autonomic Provisioned Systems, 2008 32nd Annual IEEE International Computer Software and Applications Conference
DOI : 10.1109/COMPSAC.2008.221

H. Stachowiak, Allgemeine Modelltheorie, 1973.
DOI : 10.1007/978-3-7091-8327-4

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

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

A. Stefik and S. Siebert, An Empirical Investigation into Programming Language Syntax, ACM Transactions on Computing Education, vol.13, issue.4, pp.1-1940, 2013.
DOI : 10.1145/2534973

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, EMF: eclipse modeling framework. Pearson Education, 2008.

W. Sun, R. France, and I. Ray, Rigorous Analysis of UML Access Control Policy Models, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, pp.9-16, 2011.
DOI : 10.1109/POLICY.2011.30

W. Sun, R. B. Benoit-combemale, A. France, B. Blouin, I. Baudry et al., Using Slicing to Improve the Performance of Model Invariant Checking., The Journal of Object Technology, vol.14, issue.4, pp.28-2015
DOI : 10.5381/jot.2015.14.4.a1
URL : https://hal.archives-ouvertes.fr/hal-01179369

J. Sánchez-cuadrado, E. Guerra, J. , and L. , Generic Model Transformations: Write Once, Reuse Everywhere, ICMT, 2011.
DOI : 10.1007/978-3-642-21732-6_5

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

L. Tratt, Domain Specific Language Implementation via Compile-time Metaprogramming, ACM Trans. Program. Lang. Syst, vol.30, issue.6, pp.31-32, 2008.
DOI : 10.1145/1391956.1391958
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.472

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

E. Vacchi, W. Cazzola, B. Combemale, and M. Acher, Automating variability model inference for component-based language implementations, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, 2014.
DOI : 10.1145/2648511.2648529
URL : https://hal.archives-ouvertes.fr/hal-01023864

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

M. Vara-larsen, J. Deantoni, B. Combemale, and F. , eric Mallet. D3.1.2 -Language Composition Operator, 2014.

M. Vara-larsen and A. Goknil, Railroad Crossing Heterogeneous Model, GEMOC workshop, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00867316

M. E. , V. Larsen, J. Deantoni, B. Combemale, and F. Mallet, A Behavioral Coordination Operator Language (BCOoL), 18th International Conference on Model Driven Engineering Languages and Systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

D. Varró and A. Pataricza, Generic and Meta-transformations for Model Transformation Engineering, UML, 2004.
DOI : 10.1007/978-3-540-30187-5_21

M. Voelter, Language and IDE modularization, extension and composition with MPS. Generative and Transformational Techniques in Software Engineering, 2011.
DOI : 10.1007/978-3-642-35992-7_11

M. Voelter, D. Ratiu, B. Kolb, and B. Schätz, mbeddr: instantiating a language workbench in the embedded software domain, Automated Software Engineering, vol.19, issue.3, pp.339-390, 2013.
DOI : 10.1007/s10515-013-0120-4

M. Voelter and K. Solomatov, Language modularization and composition with projectional language workbenches illustrated with MPS, Third International Conference on Software Language Engineering Lecture Notes in Computer Science, 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

D. Wampler, Polyglot programming http

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, 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. Software, IEEE, issue.3, pp.3179-85, 2014.

M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck et al., From the Heterogeneity Jungle to Systematic Benchmarking, MoDELS Workshops, 2010.
DOI : 10.1007/978-3-642-13688-7_18

M. Wimmer, A. Kusel, W. Retschitzegger, J. Schönböck, W. Schwinger et al., Reusing model transformations across heterogeneous metamodels, International Workshop on Multi-Paradigm Modeling, 2011.

G. Winskel, Event structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, 1987.
DOI : 10.1007/3-540-17906-2_31
URL : https://hal.archives-ouvertes.fr/hal-00148921

G. Winskel, The formal semantics of programming languages: an introduction, 1993.

S. Wuliang, S. Benoit-combemale, R. Derrien, and . France, Contract-Aware Substitutability of Modeling Languages, 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), 2013.

P. Bernard, H. Zeigler, T. G. Praehofer, and . Kim, Theory of Modeling and Simulation, Second Edition, 2000.

S. ?ivkovi?, D. Karagiannis, and .. , Towards Metamodelling-In-The-Large: Interface-Based Composition for Modular Metamodel Development, Enterprise, Business-Process and Information Systems Modeling . . 8 1.2 A big picture of Language-Oriented Modeling . . . . . . . . . . . . . . . . . . . . 9, pp.413-428, 2015.
DOI : 10.1007/978-3-319-19237-6_26

R. Conformance and I. Gecos, 53 3.2 foreach loop in, p.54

. Screenshot and .. Variability-management, 84 3.18 A TFSM metamodel (top) and a conforming model (bottom) with their respective behavioral interfaces, p.89