{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:08:18Z","timestamp":1743073698905,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030760199"},{"type":"electronic","value":"9783030760205"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-76020-5_12","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T23:33:49Z","timestamp":1622763229000},"page":"199-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["What is the Natural Abstraction Level of an Algorithm?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2877","authenticated-orcid":false,"given":"Andreas","family":"Prinz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-77934-6_10","volume-title":"Reflections on the Teaching of Programming","author":"J Bennedsen","year":"2008","unstructured":"Bennedsen, J., Caspersen, M.E.: Model-driven programming. In: Bennedsen, J., Caspersen, M.E., K\u00f6lling, M. (eds.) Reflections on the Teaching of Programming. LNCS, vol. 4821, pp. 116\u2013129. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-77934-6_10. http:\/\/link.springer.com\/book\/10.1007%2F978-3-540-77934-60"},{"issue":"2","key":"12_CR2","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1131313.1131320","volume":"7","author":"A Blass","year":"2006","unstructured":"Blass, A., Gurevich, Y.: Ordinary interactive small-step algorithms I. ACM Trans. Comput. Log. 7(2), 363\u2013419 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: correction and extension. ACM Trans. Comput. Log. 9(3) (2008). https:\/\/doi.org\/10.1145\/1352582.1352587","DOI":"10.1145\/1352582.1352587"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Blass, A., Gurevich, Y., Rosenzweig, D., Rossman, B.: Interactive small-step algorithms II: abstract state machines and the characterization theorem. Log. Methods Comput. Sci. 3(4) (2007). https:\/\/doi.org\/10.2168\/LMCS-3(4:4)2007","DOI":"10.2168\/LMCS-3(4:4)2007"},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1145\/937555.937561","volume":"4","author":"A Blass","year":"2003","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Log. (TOCL) 4(4), 578\u2013651 (2003). https:\/\/doi.org\/10.1145\/937555.937561","journal-title":"ACM Trans. Comput. Log. (TOCL)"},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1877714.1877722","volume":"12","author":"A Blass","year":"2011","unstructured":"Blass, A., Gurevich, Y.: Persistent queries in the behavioral theory of algorithms. ACM Trans. Comput. Log. (TOCL) 12(2), 16:1\u201316:43 (2011). https:\/\/doi.org\/10.1145\/1877714.1877722","journal-title":"ACM Trans. Comput. Log. (TOCL)"},{"key":"12_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804076","volume-title":"Computability and Logic","author":"GS Boolos","year":"2007","unstructured":"Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and Logic, 5th edn. Cambridge University Press, Cambridge (2007). https:\/\/doi.org\/10.1017\/CBO9780511804076","edition":"5"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89762-0","volume-title":"Advances in Software Engineering","year":"2008","unstructured":"B\u00f6rger, E., Cisternino, A. (eds.): Advances in Software Engineering. LNCS, vol. 5316. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89762-0"},{"key":"12_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines - A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines - A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00165-006-0019-y","volume":"19","author":"E B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. Appl. Formal Methods 19(2), 225\u2013241 (2007). https:\/\/doi.org\/10.1007\/s00165-006-0019-y","journal-title":"Appl. Formal Methods"},{"issue":"5","key":"12_CR11","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.infsof.2003.09.009","volume":"46","author":"E B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Inf. Softw. Technol. 46(5), 287\u2013292 (2004). https:\/\/doi.org\/10.1016\/j.infsof.2003.09.009","journal-title":"Inf. Softw. Technol."},{"key":"12_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56641-1","volume-title":"Modeling Companion for Software Practitioners","author":"E B\u00f6rger","year":"2018","unstructured":"B\u00f6rger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56641-1"},{"issue":"5","key":"12_CR13","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s00236-015-0249-7","volume":"53","author":"E B\u00f6rger","year":"2016","unstructured":"B\u00f6rger, E., Schewe, K.D.: Concurrent abstract state machines. Acta Informatica 53(5), 469\u2013492 (2016). https:\/\/doi.org\/10.1007\/s00236-015-0249-7","journal-title":"Acta Informatica"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/3-540-48737-9_10","volume-title":"Formal Syntax and Semantics of Java","author":"E B\u00f6rger","year":"1999","unstructured":"B\u00f6rger, E., Schulte, W.: A programmer friendly modular definition of the semantics of Java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol. 1523, pp. 353\u2013404. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48737-9_10"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Brooks Jr, F.P.: No silver bullet essence and accidents of software engineering. Computer 20(4), 10\u201319 (1987). https:\/\/doi.org\/10.1109\/MC.1987.1663532. http:\/\/ieeexplore.ieee.org\/xpl\/articleDetails.jsp?arnumber=1663532","DOI":"10.1109\/MC.1987.1663532"},{"key":"12_CR16","unstructured":"Editor OMG: Meta object facility (MOF) 2.0 query\/view\/transformation specification, version 1.1. Object Management Group (2011). http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"12_CR17","unstructured":"Editor OMG: Meta object facility (MOF). Object Management Group (2016). https:\/\/www.omg.org\/spec\/MOF"},{"issue":"2","key":"12_CR18","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci. 103(2), 235\u2013271 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR19","doi-asserted-by":"publisher","unstructured":"Fischer, J., M\u00f8ller-Pedersen, B., Prinz, A.: Real models are really on M0- or how to make programmers use modeling. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development-Volume 1: MODELSWARD, pp. 307\u2013318. INSTICC, SciTePress (2020). https:\/\/doi.org\/10.5220\/0008928403070318","DOI":"10.5220\/0008928403070318"},{"key":"12_CR20","volume-title":"Domain Specific Languages","author":"M Fowler","year":"2010","unstructured":"Fowler, M.: Domain Specific Languages, 1st edn. Addison-Wesley Professional, Boston (2010)","edition":"1"},{"issue":"3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"U Gl\u00e4sser","year":"2003","unstructured":"Gl\u00e4sser, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Netw. 42(3), 343\u2013358 (2003). https:\/\/doi.org\/10.1016\/S1389-1286(03)00247-0","journal-title":"Comput. Netw."},{"key":"12_CR22","unstructured":"Gurevich, Y.: Evolving algebras 1993: lipari guide. In: Specification and Validation Methods, pp. 231\u2013243. Oxford University Press (1995)"},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Log. (TOCL) 1(1), 77\u2013111 (2000). https:\/\/doi.org\/10.1145\/343369.343384","journal-title":"ACM Trans. Comput. Log. (TOCL)"},{"issue":"10","key":"12_CR24","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: what\u2019s the semantics of \u201csemantics\u201d? Computer 37(10), 64\u201372 (2004). https:\/\/doi.org\/10.1109\/MC.2004.172","journal-title":"Computer"},{"issue":"1\u20132","key":"12_CR25","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008). https:\/\/doi.org\/10.1016\/j.scico.2007.08.002","journal-title":"Sci. Comput. Program."},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS 1987","author":"G Kahn","year":"1987","unstructured":"Kahn, G.: Natural semantics. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds.) STACS 1987. LNCS, vol. 247, pp. 22\u201339. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/BFb0039592"},{"key":"12_CR27","volume-title":"MDA Explained","author":"A Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J.: MDA Explained. Addison-Wesley, Boston (2003)"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-36089-3_18","volume-title":"Software Language Engineering","author":"G Konat","year":"2013","unstructured":"Konat, G., Kats, L., Wachsmuth, G., Visser, E.: Declarative name binding and scope rules. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 311\u2013331. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36089-3_18"},{"key":"12_CR29","volume-title":"The Java Virtual Machine Specification, Java SE 8 Edition","author":"T Lindholm","year":"2014","unstructured":"Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The Java Virtual Machine Specification, Java SE 8 Edition, 1st edn. Addison-Wesley Professional, Boston (2014)","edition":"1"},{"key":"12_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-030-03418-4_13","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"OL Madsen","year":"2018","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: This is not a model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 206\u2013224. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_13"},{"key":"12_CR31","volume-title":"Computation: Finite and Infinite Machines","author":"ML Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall Inc., Englewood Cliffs (1967)"},{"key":"12_CR32","doi-asserted-by":"publisher","unstructured":"Mu, L., Gj\u00f8s\u00e6ter, T., Prinz, A., Tveit, M.S.: Specification of modelling languages in a flexible meta-model architecture. In: Proceedings of the Fourth European Conference on Software Architecture: Companion Volume, ECSA 2010, pp. 302\u2013308. Association for Computing Machinery, New York (2010). https:\/\/doi.org\/10.1145\/1842752.1842807","DOI":"10.1145\/1842752.1842807"},{"key":"12_CR33","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-61812-3_30","volume-title":"The Origins of Digital Computers","author":"J von Neumann","year":"1982","unstructured":"von Neumann, J.: First draft of a report on the EDVAC. In: Randell, B. (ed.) The Origins of Digital Computers. MCS, pp. 383\u2013392. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/978-3-642-61812-3_30"},{"key":"12_CR34","first-page":"2007","volume":"14","author":"M Ouimet","year":"2008","unstructured":"Ouimet, M., Lundqvist, K.: The timed abstract state machine language: abstract state machines for real-time system engineering. J. UCS 14, 2007\u20132033 (2008)","journal-title":"J. UCS"},{"key":"12_CR35","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebraic Program. 60\u201361, 17\u2013139 (2004). https:\/\/doi.org\/10.1016\/j.jlap.2004.05.001. Structural Operational Semantics","journal-title":"J. Log. Algebraic Program."},{"key":"12_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-030-01042-3_5","volume-title":"System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering","author":"A Prinz","year":"2018","unstructured":"Prinz, A.: Distributed computing on distributed memory. In: Khendek, F., Gotzhein, R. (eds.) SAM 2018. LNCS, vol. 11150, pp. 67\u201384. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01042-3_5"},{"key":"12_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-319-46613-2_9","volume-title":"System Analysis and Modeling. Technology-Specific Aspects of Models","author":"A Prinz","year":"2016","unstructured":"Prinz, A., M\u00f8ller-Pedersen, B., Fischer, J.: Object-oriented operational semantics. In: Grabowski, J., Herbold, S. (eds.) SAM 2016. LNCS, vol. 9959, pp. 132\u2013147. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46613-2_9"},{"key":"12_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-662-43652-3_18","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Prinz","year":"2014","unstructured":"Prinz, A., Sherratt, E.: Distributed ASM - pitfalls and solutions. In: A\u00eft-Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. LNCS, vol. 8477, pp. 210\u2013215. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43652-3_18"},{"key":"12_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-72901-3_12","volume-title":"Model Driven Architecture- Foundations and Applications","author":"M Scheidgen","year":"2007","unstructured":"Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 157\u2013171. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72901-3_12"},{"key":"12_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-642-30885-7_27","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"K-D Schewe","year":"2012","unstructured":"Schewe, K.-D., Wang, Q.: A simplified parallel ASM thesis. In: Derrick, J., et al. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 341\u2013344. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30885-7_27"},{"key":"12_CR41","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"2013","unstructured":"Sipser, M.: Introduction to the Theory of Computation, 3rd edn. Course Technology, Boston (2013)","edition":"3"},{"key":"12_CR42","volume-title":"Introduction to Computer Organization and Data Structures","author":"HS Stone","year":"1972","unstructured":"Stone, H.S.: Introduction to Computer Organization and Data Structures. McGraw-Hill, New York (1972)"},{"key":"12_CR43","doi-asserted-by":"publisher","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. s2-42(1), 230\u2013265 (1937). https:\/\/doi.org\/10.1112\/plms\/s2-42.1.230. https:\/\/londmathsoc.onlinelibrary.wiley.com\/doi\/abs\/10.1112\/plms\/s2-42.1.230","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"12_CR44","doi-asserted-by":"publisher","unstructured":"Warren, D.S.: WAM for everyone: a virtual machine for logic programming, pp. 237\u2013277. Association for Computing Machinery and Morgan & Claypool (2018). https:\/\/doi.org\/10.1145\/3191315.3191320","DOI":"10.1145\/3191315.3191320"}],"container-title":["Lecture Notes in Computer Science","Logic, Computation and Rigorous Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-76020-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:22:11Z","timestamp":1709821331000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-76020-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030760199","9783030760205"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-76020-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}