A Concept Map of Terminologies and Disciplines for the Executable Model Lifecycle
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 conﬂicts 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.
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 denition: 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 battleeld. 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 Unied 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 denition 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.