C. Douglas and . Schmidt, Guest Editor's Introduction: Model-Driven Engineering, IEEE Computer, vol.39, issue.2, pp.25-31, 2006.

M. Brambilla, J. Cabot, and M. Wimmer, Model-driven Software Engineering in practice, Synthesis Lectures on Software Engineering, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00755006

B. Combemale, X. Crégut, and M. Pantel, A Design Pattern to build Executable DSMLs and associated V&V tools, Proceedings of the 19th Asia-Pacific on Software Engineering Conference (APSEC), vol.1, pp.282-287, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00739332

Á. Hegedüs, I. Ráth, and D. Varró, Replaying execution trace models for dynamic modeling languages, Periodica Polytechnica Electrical Engineering and Computer Science, vol.56, issue.3, pp.71-82, 2013.

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: Executable DSMLs based on fUML, Proceedings of the International Conference on Software Language Engineering, pp.56-75, 2013.

J. Tatibouet, 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'14), vol.8767, pp.133-148
URL : https://hal.archives-ouvertes.fr/cea-01847294

. Springer, , 2014.

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution framework of the GEMOC studio (tool demo), Proceedings of the, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01355391

, ACM SIGPLAN International Conference on Software Language Engineering (SLE), pp.84-89

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

R. Jhala and R. Majumdar, Software Model Checking. ACM Computing Surveys, vol.41, issue.4, 2009.

B. Meyers, R. Deshayes, L. Lucio, E. Syriani, H. Vangheluwe et al., ProMoBox: A Framework for Generating Domain-specific Property Languages, Proceedings of the International Conference on Software Language Engineering (SLE), vol.8706, pp.1-20

. Springer, , 2014.

F. Hilken and M. Gogolla, Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping, Proceedings of the Euromicro Conference on Digital System Design (DSD), pp.708-713, 2016.

T. Earl, M. Barr, and . Marron, Tardis: Affordable Time-travel Debugging in Managed Runtimes, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'14), pp.67-82, 2014.

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

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

P. Langer, T. Mayerhofer, and G. Kappel, Semantic model differencing utilizing behavioral semantics specifications, Proceedings of the International Conference on Model Driven Engineering Languages and Systems, vol.8767, pp.116-132, 2014.

S. Maoz, J. O. Ringert, and B. Rumpe, ADDiff: semantic differencing for activity diagrams, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, pp.179-189, 2011.

A. Benelallam, A. Gómez, G. Sunyé, M. Tisi, and D. Launay, Neo4EMF, a scalable persistence layer for EMF models, Proceeding of the European Conference on Modelling Foundations and Applications, vol.8569, pp.230-241, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00968516

A. Hamou, -. Lhadj, and T. C. , Lethbridge. A Metamodel for Dynamic Information Generated from Object-Oriented Systems. Electronic Notes Theoretical Computer Science, vol.94, pp.59-69, 2004.

A. Hamou, -. Lhadj, and T. C. , Lethbridge. A Metamodel for the Compact but lossless Exchange of Execution Traces. Software and Systems Modeling, vol.11, pp.77-98, 2012.

T. Hartmann, F. Fouquet, G. Nain, B. Morin, J. Klein et al., A native Versioning Concept to Support Historized Models at Runtime, Proceedings of the International Conference on Model Driven Engineering Languages and Systems, vol.8767, pp.252-268, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01097020

E. Bousse, T. Mayerhofer, B. Benoit-combemale, and . Baudry, Advanced and efficient execution trace management for executable domain-specific modeling languages. Software & Systems Modeling, vol.18, pp.385-421, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01614377

E. Bousse, T. Mayerhofer, B. Benoit-combemale, and . Baudry, A Generative Approach to Define Rich Domain-Specific Trace Metamodels, European Conference on Modelling Foundations and Applications, vol.9153, pp.45-61, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01154225

. Ken, T. Peffers, M. A. Tuuanen, S. Rothenberger, and . Chatterjee, A Design Science Research Methodology for Information Systems Research, Journal of Management Information Systems, pp.45-77, 2007.

A. R. Hevner, S. T. March, J. Park, and S. Ram, Design science in information systems research, MIS Quarterly, vol.28, issue.1, pp.75-105, 2004.

F. Hojaji, T. Mayerhofer, B. Zamani, A. Hamou-lhadj, and E. Bousse, Model Execution Tracing: A Systematic Mapping Study. Software and Systems Modeling, in press, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02174936

C. Adam and P. , Fundamentals of a Theory of Asynchronous Information Flow, Proceedings of IFIP Congress, pp.386-390, 1962.

O. Management-group, Semantics of a Foundational Subset for Executable UML Models (fUML), Version 1.3, 2017.

, Business Process Model and Notation (BPMN), Version 2.0, 2011.

W. Damm and D. Harel, LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001.

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 on the Theory and Application of Graph Transformations (TAGT'98), vol.1764, pp.296-309, 1998.

L. Alawneh and A. Hamou-lhadj, of Lecture Notes in Communications in Computer and Information Science book series, vol.59, pp.253-263, 2009.

. Wim-de-pauw, H. David, J. M. Lorenz, . Vlissides, and . Mark-n-wegman, Execution Patterns in Object-Oriented Visualization, USENIX Conference on Object-Oriented Technologies and Systems (COOTS), vol.98, pp.1-17, 1998.

K. Dhananjay-m-dhamdhere, P. Gururaja, and . Ganu, A Compact Execution History for Dynamic Slicing, Information Processing Letters, vol.85, issue.3, pp.145-152, 2003.

A. Hamou-lhadj, Techniques to simplify the analysis of execution traces for program comprehension, PhD Dissertation, 2005.

A. Hamou, -. Lhadj, and T. Lethbridge, Summarizing the content of large traces to facilitate the understanding of the behaviour of a software system, Proceedings of the 14th International Conference on Program Comprehension, pp.181-190, 2006.

H. Pirzadeh and A. Hamou-lhadj, A novel approach based on gestalt psychology for abstracting the content of large execution traces for program comprehension, Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.221-230, 2011.

R. Smith and B. Korel, Slicing Event Traces of Large Software Systems. arXiv preprint cs/0101005, 2001.

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

M. Stonebraker, J. Daniel, A. Abadi, X. Batkin, M. Chen et al., C-store: a column-oriented DBMS, Proceedings of the 31st international conference on Very large data bases, pp.553-564, 2005.

D. Abadi, Teradata rainstor's compression and performance technology, 2015.

, XML Metadata Interchange specification, 2011.

. Isocpp and . Org, Serialization and unserialization

. W3c and . Efficient, Extensible Markup Language (XML) Interchange (EXI), Format 1.0. Standard, IJIS Institute Technical Advisory Committee, 2014.

D. Crockford, The application/JSON media type for javascript object notation (JSON). RFC 4627, 2006.

K. Varda, Google Protocol Buffers: Google's Data Interchange Format, 2008.

P. Kemper and C. Tepper, Automated trace analysis of discrete-event system models, IEEE Transactions on Software Engineering, vol.35, issue.2, pp.195-208, 2009.

S. Maoz and D. Harel, On tracing reactive systems, Software and Systems Modeling, vol.10, issue.4, pp.447-468, 2011.

S. Maoz, Using model-based traces as runtime models, IEEE Computer Society, vol.42, pp.28-36, 2009.

G. Erich, H. Richard, J. Ralph, and V. John, Design patterns: elements of reusable object-oriented software, 1994.

K. Taniguchi, T. Ishio, T. Kamiya, S. Kusumoto, and K. Inoue, Extracting Sequence Diagram from Execution Trace of Java program, Proceeding of the 8th International Workshop on Principles of Software Evolution, pp.148-151, 2005.

G. Valiente, Simple and Efficient Tree Pattern Matching, 2000.

T. Uno, T. Asai, Y. Uchida, and H. Arimura, LCM: An Efficient Algorithm for Enumerating Frequent Closed Item Sets, Proceedings of Workshop on Frequent itemset Mining Implementations (FIMI'03), vol.90, 2003.

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 Systems Modeling, vol.14, pp.905-920, 2015.

S. Bittl, A. A. Gonzalez, M. Spähn, and W. Heidrich, Performance Comparison of Data Serialization Schemes for ETSIITS Car-to-X Communication Systems, International Journal on Advances in Telecommunications, vol.8, issue.1-2, pp.48-58, 2015.

Á. Hegedüs, Á. Horváth, I. Ráth, R. R. Starr, and D. Varró, Query-driven soft traceability links for models. Software & Systems Modeling, vol.15, pp.733-756, 2016.

F. Hojaji, B. Zamani, and A. Hamou-lhadj, Towards a tracing framework for model-driven software systems, Proceedings of the 6th International Conference on Computer and Knowledge Engineering (ICCKE), pp.298-303, 2016.

H. Pirzadeh, S. Shanian, A. Hamou-lhadj, L. Alawneh, and A. Sharifee, Stratified sampling of execution traces: Execution phases serving as strata, Elsevier Journal of Science of Computer Programming, Special Issue on Software Evolution, Adaptability and Maintenancey, vol.78, issue.8, pp.1099-1118, 2013.

X. Benoit-combemale, J. Crégut, P. Giacometti, M. Michel, and . Pantel, Introducing simulation and model animation in the MDE Topcased toolkit, Proceedings of the 4th

, European Congress Embedded Real Time Software (ERTS), 2008.

X. Crégut, B. Combemale, M. Pantel, R. Faudoux, and J. Pavei, Generative Technologies for Model Animation in the TopCased Platform, ECMFA, vol.6138, pp.90-103, 2010.

M. Gogolla, L. Hamann, F. Hilken, M. Kuhlmann, and R. France, From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics, Modellierung, vol.225, pp.273-288, 2014.

H. Aljamaan, C. Timothy, and . Lethbridge, Towards Tracing at the Model Level, Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), pp.495-498, 2012.

. Hamoud-aljamaan, C. Timothy, O. Lethbridge, G. Badreddin, A. Guest et al., Specifying trace directives for UML attributes and state machines, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.79-86, 2014.

T. Hamoud-i-aljamaan, M. Lethbridge, A. Garzón, and . Forward, UmpleRun: a dynamic analysis tool for textually modeled state machines using Umple, Proceedings of the First International Workshop on Executable Modeling colocated with MODELS 2015, pp.16-20, 2015.

L. Fuentes, J. Manrique, and P. Sánchez, Execution and simulation of (profiled) UML models using Populo, Proceedings of the international workshop on Models in software engineering, pp.75-81, 2008.

L. Fuentes and P. Sánchez, Dynamic Weaving of Aspect-Oriented Executable UML Models, Transactions on Aspect-Oriented Software Development, vol.5560, pp.1-38, 2009.

T. Mayerhofer, P. Langer, and G. Kappel, A runtime model for fUML, Proceedings of the 7th Workshop on Models@ run. time, pp.53-58, 2012.

M. Hendriks, J. Verriet, T. Basten, B. Theelen, M. Brassé et al., Analyzing execution traces: critical-path analysis and distance analysis, Proceedings of the International Journal on Software Tools for Technology Transfer, pp.1-24, 2016.

M. Hendriks, J. Verriet, T. Basten, B. Theelen, M. Brassé et al., Analyzing Execution Traces: Critical-path Analysis and Distance Analysis, International Journal on Software Tools for Technology Transfer, vol.19, issue.4, pp.487-512, 2016.

S. Schivo, M. Bu?ra, E. Yildiz, C. Ruijters, R. Gerking et al., How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach, International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, vol.10606, pp.319-336, 2017.

L. Alawneh and A. Hamou-lhadj, An exchange format for representing dynamic information generated from high performance computing applications, Elsevier Journal of Future Generation Computer Systems, vol.27, issue.4, pp.381-394, 2011.

N. Tax, N. Sidorova, M. P. Wil, and . Van-der-aalst, Discovering more precise process models from event logs by filtering out chaotic activities, Journal of Intelligent Information Systems, vol.52, issue.1, pp.107-139, 2019.

R. P. Jagadeesh, C. Bose, M. P. Wil, and . Van-der-aalst, Abstractions in Process Mining: A Taxonomy of Patterns, Business Process Management, vol.5701, pp.159-175, 2009.

M. Song, W. Christian, . Günther, and A. Van-der, Trace clustering in process mining, International Conference on Business Process Management, vol.17, pp.109-120, 2008.

W. Christian, . Günther, M. P. Wil, . Van-der, and . Aalst, Fuzzy mining-adaptive process simplification based on multi-perspective metrics, International conference on business process management, vol.4714, pp.328-343, 2007.

C. Diamantini, L. Genga, and D. Potena, Behavioral process mining for unstructured processes, Journal of Intelligent Information Systems, vol.47, issue.1, pp.5-32, 2016.

V. Liesaputra, Y. Sira, and S. Chaisiri, Efficient Process Model Discovery Using Maximal Pattern Mining, Business Process Management, vol.9253, pp.441-456, 2015.

N. Tax, N. Sidorova, R. Haakma, M. P. Wil, and . Van-der-aalst, Event abstraction for process mining using supervised learning techniques, Lecture Notes in Networks and Systems, pp.251-269, 2017.

S. Schivo, J. Scholma, B. Wanders, R. Camacho, P. E. Van-der et al., Modeling biological pathway dynamics with timed automata, IEEE journal of biomedical and health informatics, vol.18, issue.3, pp.832-839, 2014.

K. Barmpis and D. S. Kolovos, Comparative analysis of data persistence technologies for large-scale models, Proceedings of the 2012 Extreme Modeling Workshop, pp.33-38, 2012.

E. Domínguez, B. Pérez, and M. Zapata, A UML profile for dynamic execution persistence with monitoring purposes, Proceedings of the 5th International Workshop on Modeling in Software Engineering, pp.55-61, 2013.

J. Espinazo-pagán, J. Sánchez-cuadrado, and J. Molina, Morsa: A scalable approach for persisting and accessing large models, International Conference on Model Driven Engineering Languages and Systems, vol.6981, pp.77-92, 2011.

T. Hartmann, F. Fouquet, M. Jimenez, R. Rouvoy, and Y. L. Traon, Analyzing complex data in motion at scale with temporal graphs, The 29th International Conference on Software Engineering and Knowledge Engineering (SEKE'17), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01511636