Model execution tracing: a systematic mapping study

• Published in: Software and systems modeling Vol. 18; no. 6; pp. 3461 - 3485
• Main Authors: Hojaji, Fazilat, Mayerhofer, Tanja, Zamani, Bahman, Hamou-Lhadj, Abdelwahab, Bousse, Erwan
• Format: Journal Article
• Language: English
• Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2019; Springer Nature B.V; Springer Verlag
• Subjects: Compilers; Computer Science; Empirical analysis; Exchanging; Information Systems Applications (incl.Internet); Interpreters; IT in Business; Mapping; Model testing; Programming Languages; Programming Techniques; Regular Paper; Representations; Software Engineering; Software Engineering/Programming and Operating Systems; State of the art; Model-driven engineering; Dynamic analysis of model-driven systems; Executable models; Systematic mapping study; Model execution tracing; Executable Models; Model Execution Tracing; Systematic Mapping Study; Model Driven Engineering; Dynamic Analysis of Model Driven Systems

Model-Driven Engineering is a development paradigm that uses models instead of code as primary development artifacts. In this paper, we focus on executable models , which are used to abstract the behavior of systems for the purpose of verifying and validating (V&V) a system’s properties. Model e...