O. Management-group, Semantics of a Foundational Subset for Executable UML Models, V 1.1, 2013.

R. Bendraou, B. Combemale, X. Crégut, and M. P. Gervais, Definition of an executable SPEM 2.0, Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC'07, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00371555

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

, Web Services Business Process Execution Language Version 2.0, 2007.

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

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

E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry, Advanced and efficient execution trace management for executable domainspecific modeling languages, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01614377

B. Combemale, X. Crégut, and M. Pantel, A Design Pattern to Build Executable DSMLs and Associated V&V Tools, 19th Asia-Pacific Soft. Eng. Conf. (APSEC), vol.1, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00739332

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: Executable DSMLs based on fUML, 6th Int. Conf. on Soft. Lang. Eng. (SLE), ser. LNCS, vol.8225, 2013.

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'00), ser. LNCS, vol.1939, pp.323-337, 2000.

N. Bandener, C. Soltenborn, and G. Engels, Extending DMM Behavior Specifications for Visual Execution and Debugging, Proceedings of the Third International Conference on Software Language Engineering (SLE'10), vol.6563, 2010.

J. Tatibouët, A. Cuccuru, S. Gérard, and F. Terrier, Formalizing Execution Semantics of UML Profiles with fUML Models, 17th Int. Conf. on Model Driven Eng. Lang. and Sys. (MODELS), ser. LNCS, vol.8767, 2014.

F. Ciccozzi, I. Malavolta, and B. Selic, Execution of UML models: a systematic review of research and practice, 2018.

O. Management-group, Meta Object Facility (MOF) Core Specification, V 2.5, 2016.

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

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 & Systems Modeling (SoSyM), vol.14, 2013.

A. Hegedüs, I. Ráth, and D. Varró, Replaying Execution Trace Models for Dynamic Modeling Languages, Periodica Polytechnica -Electrical Engineering, vol.56, issue.3, pp.71-82, 2012.

F. Jouault and I. Kurtev, Transforming models with ATL, Proceedings of the Workshop on Model Transformations in Practice (MTiP'05), ser. LNCS, vol.3844, pp.128-138, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00448120

A. Yie and D. Wagelaar, Advanced Traceability for ATL, 1st International Workshop on Model Transformation with ATL (MtATL'09, 2009.

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

T. S. Staines, Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets, 15th International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), pp.191-200, 2008.

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

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

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution Framework of the GEMOC Studio (Tool Demo), Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01355391

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

D. Maplesden, E. D. Tempero, J. G. Hosking, and J. C. Grundy, Performance Analysis for Object-Oriented Software: A systematic mapping, IEEE Trans. Software Eng, vol.41, issue.7, pp.691-710, 2015.

B. Combemale, L. Gonnord, and V. Rusu, A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics, 7th European Conference on Modelling Foundations and Application, pp.35-51, 2011.


F. Zalila, X. Crégut, and M. Pantel, Formal Verification Integration Approach for DSML, 16th International Conference on ModelDriven Engineering Languages and Systems (MODELS), pp.336-351, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00994413


Á. 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'10), pp.145-155, 2010.

W. Haberl, M. Herrmannsdoerfer, J. Birke, and U. Baumgarten, ModelLevel Debugging of Embedded Real-Time Systems, 10th International Conference on Computer and Information Technology, 2010.

H. Wu, J. Gray, and M. Mernik, Grammar-driven Generation of Domain-specific Language Debuggers, Software: Practice and Experience, vol.38, issue.10, pp.1073-1103, 2008.


R. T. Lindeman, L. C. Kats, and E. Visser, Declaratively Defining Domain-specific Language Debuggers, 10th International Conference on Generative Programming and Component Engineering (GPCE), ser. GPCE '11, pp.127-136, 2011.

D. Pavletic, M. Voelter, S. A. Raza, B. Kolb, and T. Kehrer, Extensible Debugger Framework for Extensible Languages, 20th Ada-Europe International Conference on Reliable Software Technologies, pp.33-49, 2015.

N. Das, S. Ganesan, L. Jweda, M. Bagherzadeh, N. Hili et al., Supporting the Model-driven Development of Real-time Embedded Systems with Run-time Monitoring and Animation via Highly Customizable Code Generation, 19th International Conference on Model Driven Engineering Languages and Systems (MODELS)

, , pp.36-43, 2016.

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

F. Zalila, X. Crégut, and M. Pantel, A DSL to Feedback Formal Verification Results, 13th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa). CEUR-WS, 2016.