{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T07:17:27Z","timestamp":1792739847409,"version":"4.5.0"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,4,10]],"date-time":"2018-04-10T00:00:00Z","timestamp":1523318400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003170","name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling","doi-asserted-by":"publisher","award":["MOMENTUM - 20160153"],"award-info":[{"award-number":["MOMENTUM - 20160153"]}],"id":[{"id":"10.13039\/501100003170","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003170","name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling","doi-asserted-by":"publisher","award":["SMARTCore - 20140051"],"award-info":[{"award-number":["SMARTCore - 20140051"]}],"id":[{"id":"10.13039\/501100003170","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10270-018-0675-4","type":"journal-article","created":{"date-parts":[[2018,4,10]],"date-time":"2018-04-10T04:20:06Z","timestamp":1523334006000},"page":"2313-2360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":95,"title":["Execution of UML models: a systematic review of research and practice"],"prefix":"10.1007","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0401-1036","authenticated-orcid":false,"given":"Federico","family":"Ciccozzi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivano","family":"Malavolta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bran","family":"Selic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,4,10]]},"reference":[{"key":"675_CR1","unstructured":"Abouzahra, A., B\u00e9zivin, J., Del Fabro, M.D., Jouault, F.: A practical approach to bridging domain specific languages with UML profiles. In: Proceedings of the Best Practices for Model Driven Software Development at OOPSLA, vol. 5. Citeseer (2005)"},{"key":"675_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"675_CR3","volume-title":"Categorical Data Analysis","author":"A Agresti","year":"2011","unstructured":"Agresti, A., Kateri, M.: Categorical Data Analysis. Springer, Berlin (2011)"},{"issue":"3","key":"675_CR4","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1147\/sj.453.0515","volume":"45","author":"N Aizenbud-Reshef","year":"2006","unstructured":"Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM Syst. J. 45(3), 515\u2013526 (2006)","journal-title":"IBM Syst. J."},{"issue":"9","key":"675_CR5","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1016\/j.infsof.2010.05.003","volume":"52","author":"MS Ali","year":"2010","unstructured":"Ali, M.S., Babar, M.A., Chen, L., Stol, K.-J.: A systematic review of comparative evidence of aspect-oriented programming. Inf. Softw. Technol. 52(9), 871\u2013887 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"675_CR6","doi-asserted-by":"crossref","unstructured":"Ali, N.B., Petersen, K.: Evaluating strategies for study selection in systematic literature studies. In: International Symposium on Empirical Software Engineering and Measurement. ACM (2014)","DOI":"10.1145\/2652524.2652557"},{"key":"675_CR7","unstructured":"Aljer, A., Devienne, P., Tison, S., Boulanger, J.-L., Mariano, G.: BHDL: Circuit design in B. In: Proceedings. Third International Conference on Application of Concurrency to System Design, 2003, pp. 241\u2013242. IEEE (2003)"},{"key":"675_CR8","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mraidha, C., G\u00e9rard, S., Terrier, F., Boulet, P.: Toward optimized code generation through model-based optimization. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1313\u20131316 (2010)","DOI":"10.1109\/DATE.2010.5457010"},{"key":"675_CR9","doi-asserted-by":"crossref","unstructured":"Ciccozzi, F.: Unicomp: a semantics-aware model compiler for optimised predictable software. In: International Conference on Software Engineering (ICSE) 2018\u2014New Ideas and Emerging Results (NIER), May 2018. UML, Alf, fUML, compilation, model-driven engineering, predictability, semantics","DOI":"10.1145\/3183399.3183406"},{"issue":"6","key":"675_CR10","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1016\/j.infsof.2012.07.014","volume":"55","author":"F Ciccozzi","year":"2013","unstructured":"Ciccozzi, F., Cicchetti, A., Sj\u00f6din, M.: Round-trip support for extra-functional property management in model-driven engineering of embedded systems. Inf. Softw. Technol. 55(6), 1085\u20131100 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"675_CR11","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Nusmv 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) Computer Aided Verification, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"issue":"4","key":"675_CR12","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1037\/h0026256","volume":"70","author":"J Cohen","year":"1968","unstructured":"Cohen, J.: Weighted kappa: nominal scale agreement provision for scaled disagreement or partial credit. Psychol. Bull. 70(4), 213 (1968)","journal-title":"Psychol. Bull."},{"key":"675_CR13","volume-title":"Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory","author":"JM Corbin","year":"2014","unstructured":"Corbin, J.M., Strauss, A.: Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory. Sage Publications, Thousand Oaks (2014)"},{"issue":"5","key":"675_CR14","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.infsof.2011.01.004","volume":"53","author":"DS Cruzes","year":"2011","unstructured":"Cruzes, D.S., Dyb\u00e5, T.: Research synthesis in software engineering: a tertiary study. Inf. Softw. Technol. 53(5), 440\u2013455 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"675_CR15","doi-asserted-by":"crossref","unstructured":"Di Francesco, P., Malavolta, I., Lago, P.: Research on architecting microservices: trends, focus, and potential for industrial adoption. In: 2017 IEEE International Conference on Software Architecture (ICSA), pp. 21\u201330. IEEE (2017)","DOI":"10.1109\/ICSA.2017.24"},{"key":"675_CR16","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-67425-4_12","volume-title":"Present and Ulterior Software Engineering","author":"N Dragoni","year":"2017","unstructured":"Dragoni, N., Giallorenzo, S., Lafuente, A.L., Mazzara, M., Montesi, F., Mustafin, R., Safina, L.: Microservices: yesterday, today, and tomorrow. In: Mazzara, M., Meyer, M. (eds.) Present and Ulterior Software Engineering, pp. 195\u2013216. Springer, Cham (2017)"},{"issue":"9","key":"675_CR17","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/j.infsof.2008.01.006","volume":"50","author":"T Dyb\u00e5","year":"2008","unstructured":"Dyb\u00e5, T., Dings\u00f8yr, T.: Empirical studies of agile software development: a systematic review. Inf. Softw. Technol. 50(9), 833\u2013859 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"675_CR18","doi-asserted-by":"publisher","DOI":"10.4135\/9781412993883","volume-title":"Quantitative Narrative Analysis","author":"R Franzosi","year":"2010","unstructured":"Franzosi, R.: Quantitative Narrative Analysis, vol. 162. Sage, Thousand Oaks (2010)"},{"issue":"3","key":"675_CR19","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/TSE.2013.56","volume":"40","author":"M Galster","year":"2014","unstructured":"Galster, M., Weyns, D., Tofan, D., Michalik, B., Avgeriou, P.: Variability in software systems: systematic literature review. IEEE Trans. Softw. Eng. 40(3), 282\u2013306 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"675_CR20","doi-asserted-by":"crossref","unstructured":"Gotti, S., Mbarki, S.: UML executable: a comparative study of UML compilers and interpreters. In: 2016 International Conference on Information Technology for Organizations Development (IT4OD), pp. 1\u20135 (March 2016)","DOI":"10.1109\/IT4OD.2016.7479251"},{"key":"675_CR21","doi-asserted-by":"crossref","unstructured":"Grandy, H., Bischof, M., Stenzel, K., Schellhorn, G., Reif, W.: Verification of Mondex electronic purses with KIV: from a security protocol to verified code. In: Woodcock, J. (ed.) FM 2008: Formal Methods, pp. 165\u2013180. Springer (2008)","DOI":"10.1007\/978-3-540-68237-0_13"},{"issue":"7524","key":"675_CR22","doi-asserted-by":"publisher","first-page":"1064","DOI":"10.1136\/bmj.38636.593461.68","volume":"331","author":"T Greenhalgh","year":"2005","unstructured":"Greenhalgh, T., Peacock, R.: Effectiveness and efficiency of search methods in systematic reviews of complex evidence: audit of primary sources. BMJ 331(7524), 1064\u20131065 (2005)","journal-title":"BMJ"},{"key":"675_CR23","unstructured":"Hrischuk, C., Rolia, J., Woodside, C.M.: Automatic generation of a software performance model using an object-oriented prototype. In: Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1995. MASCOTS\u201995, pp. 399\u2013409. IEEE (1995)"},{"key":"675_CR24","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.scico.2013.03.017","volume":"89","author":"J Hutchinson","year":"2014","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M.: Model-driven engineering practices in industry: social, organizational and managerial factors that lead to success or failure. Sci. Comput. Program. 89, 144\u2013161 (2014)","journal-title":"Sci. Comput. Program."},{"key":"675_CR25","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Proceedings of ICSE. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"issue":"1","key":"675_CR26","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s10270-013-0328-6","volume":"14","author":"MZ Iqbal","year":"2015","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. 14(1), 483\u2013524 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"12","key":"675_CR27","doi-asserted-by":"publisher","first-page":"2049","DOI":"10.1016\/j.infsof.2013.07.010","volume":"55","author":"B Kitchenham","year":"2013","unstructured":"Kitchenham, B., Brereton, P.: A systematic review of systematic review process research in software engineering. Inf. Softw. Technol. 55(12), 2049\u20132075 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"675_CR28","unstructured":"Kitchenham, B.A., Charters, S.: Guidelines for performing systematic literature reviews in software engineering. Technical Report EBSE-2007-01, Keele University and University of Durham (2007)"},{"key":"675_CR29","volume-title":"MDA Explained\u2014The Model Driven Architecture: Practice and Promise","author":"AG Kleppe","year":"2003","unstructured":"Kleppe, A.G., Warmer, J., Bast, W.: MDA Explained\u2014The Model Driven Architecture: Practice and Promise. Addison-Wesley Professional, Reading (2003)"},{"key":"675_CR30","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2529310","volume":"33","author":"JR Landis","year":"1977","unstructured":"Landis, J.R., Koch, G.G.: The measurement of observer agreement for categorical data. Biometrics 33, 159\u2013174 (1977)","journal-title":"Biometrics"},{"key":"675_CR31","doi-asserted-by":"crossref","unstructured":"Laurent, Y., Bendraou, R., Gervais, M.-P.: Executing and debugging UML models: an fUML extension. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, pp. 1095\u20131102. ACM (2013)","DOI":"10.1145\/2480362.2480569"},{"key":"675_CR32","volume-title":"Introduction to Embedded Systems: A Cyber-Physical Systems Approach","author":"EA Lee","year":"2011","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach. MIT Press, Cambridge (2011)"},{"issue":"6","key":"675_CR33","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2013","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 869\u2013891 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"675_CR34","unstructured":"MARTE profile. http:\/\/www.omg.org\/spec\/MARTE\/1.1\/ . Latest access: 20 Nov 2017"},{"key":"675_CR35","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M., Kappel, G.: xMOF: Executable DSMLs based on fUML. In: Proceedings of SLE (2013)","DOI":"10.1007\/978-3-319-02654-1_4"},{"key":"675_CR36","doi-asserted-by":"crossref","unstructured":"Mellor, S.J., Tockey, S., Arthaud, R., Leblanc, P.: An action language for UML: proposal for a precise execution semantics. In: Bezivin, J. (ed.) The Unified Modeling Language.UML98: Beyond the Notation, pp. 307\u2013318. Springer (1998)","DOI":"10.1007\/978-3-540-48480-6_24"},{"key":"675_CR37","unstructured":"Meyes, S.: The Most Important C++ Software...Ever (2006)"},{"key":"675_CR38","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Composing services with JOLIE. In: Fifth European Conference on Web Services, 2007. ECOWS\u201907, pp. 13\u201322. IEEE (2007)"},{"key":"675_CR39","doi-asserted-by":"crossref","unstructured":"Petersen, K., Feldt, R., Mujtaba, S., Mattsson, M.: Systematic mapping studies in software engineering. In: Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering, EASE\u201908, pp. 68\u201377, Swinton, UK (2008) British Computer Society","DOI":"10.14236\/ewic\/EASE2008.8"},{"key":"675_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2015.03.007","volume":"64","author":"K Petersen","year":"2015","unstructured":"Petersen, K., Vakkalanka, S., Kuzniarz, L.: Guidelines for conducting systematic mapping studies in software engineering: an update. Inf. Softw. Technol. 64, 1\u201318 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"675_CR41","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"675_CR42","volume-title":"An Introduction to Formal Specification and Z","author":"B Potter","year":"1996","unstructured":"Potter, B., Till, D., Sinclair, J.: An Introduction to Formal Specification and Z. Prentice Hall PTR, Englewood Cliffs (1996)"},{"issue":"1","key":"675_CR43","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1177\/1356389008097871","volume":"15","author":"M Rodgers","year":"2009","unstructured":"Rodgers, M., Sowden, A., Petticrew, M., Arai, L., Roberts, H., Britten, N., Popay, J.: Testing methodological guidance on the conduct of narrative synthesis in systematic reviews effectiveness of interventions to promote smoke alarm ownership and function. Evaluation 15(1), 49\u201373 (2009)","journal-title":"Evaluation"},{"issue":"2","key":"675_CR44","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"675_CR45","first-page":"1","volume-title":"Formal Methods for Model-Driven Engineering. Volume 7320 of Lecture Notes in Computer Science","author":"B Selic","year":"2012","unstructured":"Selic, B.: The less well known UML. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) Formal Methods for Model-Driven Engineering. Volume 7320 of Lecture Notes in Computer Science, pp. 1\u201320. Springer, Berlin (2012)"},{"key":"675_CR46","volume-title":"Common LISP: The Language","author":"G Steele","year":"1990","unstructured":"Steele, G.: Common LISP: The Language. Elsevier, London (1990)"},{"key":"675_CR47","doi-asserted-by":"crossref","unstructured":"Tatibou\u00ebt, J., Cuccuru, A., G\u00e9rard, S., Terrier, F.: Formalizing execution semantics of UML profiles with fUML models. In: Model-Driven Engineering Languages and Systems, pp. 133\u2013148. Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_9"},{"key":"675_CR48","doi-asserted-by":"crossref","unstructured":"Tatibou\u00ebt, J., Cuccuru, A., G\u00e9rard, S., Terrier, F.: Formalizing execution semantics of UML profiles with fUML models. In: Proceedings of MODELS, pp. 133\u2013148 (2014)","DOI":"10.1007\/978-3-319-11653-2_9"},{"key":"675_CR49","doi-asserted-by":"crossref","unstructured":"Wohlin, C.: Guidelines for snowballing in systematic literature studies and a replication in software engineering. In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, p. 38. ACM (2014)","DOI":"10.1145\/2601248.2601268"},{"key":"675_CR50","doi-asserted-by":"crossref","unstructured":"Wohlin, C.: Guidelines for snowballing in systematic literature studies and a replication in software engineering. In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, EASE \u201914, pp. 38:1\u201338:10. ACM, New York (2014)","DOI":"10.1145\/2601248.2601268"},{"key":"675_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering. Computer Science","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Computer Science. Springer, Berlin (2012)"},{"issue":"7","key":"675_CR52","doi-asserted-by":"publisher","first-page":"1341","DOI":"10.1016\/j.infsof.2012.09.008","volume":"55","author":"H Zhang","year":"2013","unstructured":"Zhang, H., Babar, M.A.: Systematic reviews in software engineering: an empirical investigation. Inf. Softw. Technol. 55(7), 1341\u20131354 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"675_CR53","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-319-21912-7_4","volume-title":"Behavior Modeling\u2014Foundations and Applications","author":"K Zurowska","year":"2015","unstructured":"Zurowska, K., Dingel, J.: A customizable execution engine for models of embedded systems. In: Roubtsova, E., McNeile, A., Kindler, E., Gerth, C. (eds.) Behavior Modeling\u2014Foundations and Applications, pp. 82\u2013110. Springer, Berlin (2015)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0675-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-0675-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0675-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,31]],"date-time":"2020-10-31T11:46:06Z","timestamp":1604144766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-0675-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,10]]},"references-count":53,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["675"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-0675-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4,10]]},"assertion":[{"value":"11 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 March 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 April 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}