A Concept Map of Terminologies and Disciplines for the Executable Model Lifecycle

  • Bruno G. A. Lebtag UFG
  • Paulo G. Teixeira UFG
  • Mohamad Kassab Pennsylvania State University
  • Valdemar Vicente Graciano Neto UFG


The Executable Models (ExM) research area is an ascending discipline that explores the use of models capable of being executed during the software development process. The research area is overloaded with terms and concepts derived from several areas. There is also ambiguities and an absence of consensus on definitions. This is a problem not only for newcomers in the area but it can generate unproductive studies and conflicts among researchers. However, there is not yet a study presenting those concepts in a concise and structured manner. Thus, this study aims to collaborate with the research area with a collection of relevant concepts and their definitions. The concepts were obtained from a literature review where we collected relevant studies from several disciplines. We organized those concepts into a concept map that establishes the relationship between concepts while presenting them separated by disciplines.


Aho, A. V. (2006). Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley.

Andres, B. F. and Perez, M. (2017). Transpiler-based architecture for multi-platform web applications. In 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM). IEEE.

Blair, G., Bencomo, N., and France, R. (2009). Models@ run.time. Computer, 42:22–27.

Ciccozzi, F., Malavolta, I., and Selic, B. (2019). Execution of uml models: a systematic review of research and practice. Software & Systems Modeling, 18(3):2313–2360.

Crystal, D. (2008). A dictionary of linguistics and phonetics. Blackwell Publlishing,Credo Reference, Malden, Massachusetts Oxford England Boston, Massachusetts.

Dahmann, J., Markina-Khusid, A., Doren, A., Wheeler, T., Cotter, M., and Kelley, M. (2017). Sysml executable systems of system architecture definition: A working example. pages 1–6.

de França, B. B. N. and Travassos, G. H. (2015). Experimentation with dynamic simulation models in software engineering: planning and reporting guidelines. Empirical Software Engineering, 21(3):1302–1345.

Dias-Neto, A. C., Spinola, R., and Travassos, G. H. (2010). Developing software techIn XIII Iberonologies through experimentation: experiences from the battlefield. American Conference on Software Engineering.

Favre, J.-M. (2011). Towards a basic theory to model model driven engineering. pages 1–8.

Gomaa, H. (2011). Static Modeling, page 94–114. Cambridge University Press.

He, X., Ma, Z., Shao, W., and Li, G. (2007). A metamodel for the notation of graphical modeling languages. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), volume 1, pages 219–224.

Hojaji, F., Mayerhofer, T., Zamani, B., Hamou-Lhadj, A., and Bousse, E. (2019). Model execution tracing: a systematic mapping study. Software and Systems Modeling, 18(6):3461–3485.

Holzmann, G. J. (1997). The model checker spin. IEEE Transactions on Software Engineering, 23(5):279–295.

ISO/IEC 19505-2:2012 (2012). Information technology - Object Management Group Unified Modeling Language (OMG UML) — Part 2: Superstructure, 2000.

ISO/IEC/IEEE:42010 (2011). Iso/iec/ieee systems and software engineering – architecture description. ISO/IEC/IEEE 42010:2011(E) (Revision of ISO/IEC 42010:2007 and IEEE Std 1471-2000), pages 1–46.

Krahn, H., Rumpe, B., and Völkel, S. (2007). Integrated definition of abstract and concrete syntax for textual languages. In Engels, G., Opdyke, B., Schmidt, D. C., and Weil, F., editors, Model Driven Engineering Languages and Systems, pages 286–300, Berlin, Heidelberg. Springer Berlin Heidelberg.

Levis, A. H. and Wagenhals, L. W. (2000). C4isr architectures: I. developing a process for c4isr architecture design. Systems Engineering, 3(4):225–247.

Mens, T. and Van Gorp, P. (2006). A taxonomy of model transformation. volume 152, pages 1–17.

Nutaro, J. (2011). Building software for simulation: Theory and algorithms, with applications in c++. Building Software for Simulation: Theory and Algorithms, with Applications in C++.

Rasheed, A., San, O., and Kvamsdal, T. (2020). Digital twin: Values, challenges and enablers from a modeling perspective. IEEE Access, PP:1–1.

Reghizzi, S. (2013). Formal languages and compilation. Springer, London.

Rozenberg, G. (1997). Handbook of formal languages. Springer, Berlin New York.

Selic, B. (2008). Personal reections on automation, programming culture, and modelbased software engineering. Automated Software Engineering, 15(3):379–391.

Sun, Y., Demirezen, Z., Lukman, T., Mernik, M., and Gray, J. (2008). Model transformations require formal semantics. pages 1–4.

Visser, E. (2001). A survey of rewriting strategies in program transformation systems. Electronic Notes in Theoretical Computer Science, 57:109–143.

Vogel, T. and Giese, H. (2010). Adaptation and abstract runtime models. pages 39–48.

Vogel, T., Seibel, A., and Giese, H. (2011). The role of models and megamodels at runtime. In Dingel, J. and Solberg, A., editors, Models in Software Engineering, pages 224–238, Berlin, Heidelberg. Springer Berlin Heidelberg.
Como Citar

Selecione um Formato
LEBTAG, Bruno G. A.; TEIXEIRA, Paulo G.; KASSAB, Mohamad; GRACIANO NETO, Valdemar Vicente. A Concept Map of Terminologies and Disciplines for the Executable Model Lifecycle. In: WORKSHOP EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (MSSIS), 3. , 2021, Joinville. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 1-9. DOI: https://doi.org/10.5753/mssis.2021.17254.