D. Anicic, P. Fodor, S. Rudolph, R. Stühmer, N. Stojanovic et al., A rule-based language for complex event processing and reasoning, Proceedings of the International Conference on Web Reasoning and Rule Systems, pp.42-57, 2010.

T. Arendt, E. Biermann, S. Jurack, C. Krause, and G. Taentzer, Henshin: advanced concepts and tools for in-place EMF model transformations, Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.121-135, 2010.

N. Bandener, C. Soltenborn, and G. Engels, Extending DMM behavior specifications for visual execution and debugging, Proceedings of the 3rd International Conference on Software Language Engineering (SLE), pp.357-376, 2010.

R. Bendraou, B. Combemale, X. Crégut, and M. P. Gervais, Definition of an executable SPEM 2.0, Proceedings of the 14th
URL : https://hal.archives-ouvertes.fr/hal-00371555

A. , Software Engineering Conference (APSEC), pp.390-397, 2007.

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution framework of the GEMOC studio (tool demo), Proceedings of the International Conference on Software Language Engineering (SLE), pp.84-89, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01355391

E. Bousse, D. Leroy, B. Combemale, M. Wimmer, and B. Baudry, Omniscient debugging for executable DSLs, J. Syst. Softw, vol.137, pp.261-288, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01662336

E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry, Advanced and efficient execution trace management for executable domainspecific modeling languages, Softw. Syst. Model, vol.18, issue.1, pp.385-421, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01614377

F. Ciccozzi, I. Malavolta, and B. Selic, Execution of UML models: a systematic review of research and practice, Softw. Syst. Model, vol.18, issue.3, pp.2313-2360, 2019.

B. Combemale, X. Crégut, and M. Pantel, A design pattern to build executable DSMLs and associated V&V tools, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, pp.282-287, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00739332

J. Deantoni, Modeling the behavioral semantics of heterogeneous languages and their coordination, Proceedings of the Workshop on Architecture-Centric Virtual Integration (ACVI), pp.12-18, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01291299

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. M. Jézéquel, Safe model polymorphism for flexible modeling, Comput. Lang. Syst. Struct, vol.49, pp.176-195, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01367305

G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer, Dynamic metamodeling: a graphical approach to the operational semantics of behavioral diagrams in UML, Proceedings of the Third International Conference on the Unified Modeling Language (UML), pp.323-337, 2000.

T. Fischer, J. Niere, L. Torunski, and A. Zündorf, Story diagrams: a new graph rewrite language based on the unified modeling language and Java, Proceedings of the 6th International Workshop Theory and Application of Graph Transformations (TAGT), pp.157-167, 2000.

B. Goetz, T. Peierls, D. Lea, J. Bloch, J. Bowbeer et al., Java Concurrency in Practice. Pearson Education, 2006.

C. Guy, B. Combemale, S. Derrien, J. R. Steel, and J. M. Jézéquel, On model subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA), pp.400-415, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00726399

D. Harel, H. Lachover, A. Naamad, A. Pnuelli, M. Politi et al., STATEMATE: a working environment for the development of complex reactive systems, IEEE Trans. Softw. Eng, vol.16, issue.4, pp.403-414, 1990.

Á. Hegedüs, G. Bergmann, I. Ráth, and D. Varró, Back-annotation of simulation traces with change-driven model transformations, Proceedings of the 8th International Conference on Software Engineering and Formal Methods (SEFM), pp.145-155, 2010.

C. Hofer, K. Ostermann, T. Rendel, and A. Moors, Polymorphic embedding of DSLs, Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE), pp.137-148, 2008.

A. Horst and B. Rumpe, Towards compositional domain specific languages, Proceedings of the 7th Workshop on Multi-Paradigm Modeling (MPM), pp.1-5, 2013.

J. M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of metalanguages and its implementation in the Kermeta language workbench, Softw. Syst. Model. (SoSyM), vol.14, issue.2, pp.905-920, 2013.

E. Kindler, The event coordination notation: execution engine and programming framework, Proceedings of the Fourth Workshop on Behaviour Modelling-Foundations and Applications, pp.1-8, 2012.

M. E. Larsen, J. Deantoni, B. Combemale, and F. Mallet, A behavioral coordination operator language (BCOoL), Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.186-195, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182773

D. Luckham, The Power of Events, vol.204, 2002.

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: executable DSMLs based on fUML, Proceedings of the 6th International Conference on Software Language Engineering (SLE)

J. Mcaffer and J. M. Lemieux, Eclipse Rich Client Platform: Designing, Coding, and Packaging Java(TM) Applications, 2005.

B. Meyers, J. Denil, I. Dávid, and H. Vangheluwe, Automated testing support for reactive domain-specific modelling languages, Proceedings of the International Conference on Software Language Engineering (SLE), pp.181-194, 2016.

B. Meyers, R. Deshayes, L. Lucio, E. Syriani, H. Vangheluwe et al., Promobox: a framework for generating domainspecific property languages, Proceedings of the 7th International Conference on Software Language Engineering (SLE), pp.1-20, 2014.

R. Milner, Communicating and Mobile Systems: The Pi Calculus, 1999.

, OASIS: Web Services Business Process Execution Language Version 2.0 (, 2007.

, Object Management Group: OMG Unified Modeling Language (OMG UML), 2013.

, Semantics of a Foundational Subset for Executable UML Models, vol.1, p.1, 2013.

, Object Management Group: Precise Semantics of UML State Machines Specification, Meta Object Facility (MOF) Core Specification, vol.2, 2016.

, Object Constraint Language (OCL), Version, vol.2, p.4, 2014.

L. Pedro, L. Lucio, and D. Buchs, Principles for system prototype and verification using metamodel based transformations, Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06), pp.10-17, 2006.

B. C. Pierce and C. Benjamin, Types and Programming Languages, 2002.

R. Rodriguez-echeverria, J. L. Izquierdo, M. Wimmer, and J. Cabot, Towards a language server protocol infrastructure for graphical modeling, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.370-380, 2018.

M. Soden and H. Eichler, Towards a model execution framework for Eclipse, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture (BD-MDA'09), 2009.

J. Steel and J. M. Jézéquel, On model typing, Softw. Syst. Model. (SoSym), vol.6, issue.4, pp.401-413, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477547

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

E. Syriani, V. Sousa, and L. Lúcio, Structure and behavior preserving statecharts refinements, Sci. Comput. Program, vol.170, pp.45-79, 2019.

J. Tatibouët, A. Cuccuru, S. Gérard, and F. Terrier, Formalizing execution semantics of UML profiles with fUML models, Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2014.

U. Tikhonova, M. Manders, M. Van-den-brand, S. Andova, and T. Verhoeff, Applying model transformation and event-B for specifying an industrial DSL, Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa), pp.41-50, 2013.