{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T05:19:08Z","timestamp":1787894348109,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032365866","type":"print"},{"value":"9783032365873","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T00:00:00Z","timestamp":1787961600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T00:00:00Z","timestamp":1787961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-36587-3_3","type":"book-chapter","created":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T04:47:12Z","timestamp":1787892432000},"page":"30-46","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Karpfen: A Lightweight Modeling- and\u00a0Model Execution Toolkit for\u00a0Education and\u00a0Prototyping"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6829-4260","authenticated-orcid":false,"given":"Karl","family":"Kegel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-8346-1749","authenticated-orcid":false,"given":"Markus","family":"Hamann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3513-6448","authenticated-orcid":false,"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,8,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Andr\u00e9, E., Liu, S., Liu, Y., Choppy, C., Sun, J., Dong, J.S.: Formalizing uml state machines for automated verification \u2013 a survey. ACM Comput. Surv. 55(13s) (2023). https:\/\/doi.org\/10.1145\/3579821","DOI":"10.1145\/3579821"},{"key":"3_CR2","unstructured":"Broadcom: Spring Statemachine - Reference Documentation (2026). https:\/\/docs.spring.io\/spring-statemachine\/. Accessed 18 Mar 2026"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Ciccozzi, F., et al.: How do we teach modelling and model-driven engineering? A survey. In: Proceedings of the 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS \u201918, pp. 122\u2013129. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3270112.3270129","DOI":"10.1145\/3270112.3270129"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"2313","DOI":"10.1007\/s10270-018-0675-4","volume":"18","author":"F Ciccozzi","year":"2019","unstructured":"Ciccozzi, F., Malavolta, I., Selic, B.: Execution of UML models: a systematic review of research and practice. Softw. Syst. Model. 18(3), 2313\u20132360 (2019). https:\/\/doi.org\/10.1007\/s10270-018-0675-4","journal-title":"Softw. Syst. Model."},{"key":"3_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2020.100590","volume":"12","author":"A Decan","year":"2020","unstructured":"Decan, A., Mens, T.: Sismic\u2014a python library for statechart execution and testing. SoftwareX 12, 100590 (2020)","journal-title":"SoftwareX"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Dom\u0131\u00b4nguez, E., P\u00e9rez, B., \u00c1ngel L.\u00a0Rubio, Zapata, M.A.: A systematic review of code generation proposals from state machine specifications. Inf. Softw. Technol. 54(10), 1045\u20131066 (2012). https:\/\/doi.org\/10.1016\/j.infsof.2012.04.008","DOI":"10.1016\/j.infsof.2012.04.008"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Kegel, K.: Supplementary material for karpfen: A lightweight modeling- and model execution toolkit for education and prototyping (2026). https:\/\/doi.org\/10.5281\/zenodo.19663954","DOI":"10.5281\/zenodo.19663954"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Liebel, G., Badreddin, O., Heldal, R.: Model driven software engineering in education: a multi-case study on perception of tools and uml. In: 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), pp. 124\u2013133 (2017). https:\/\/doi.org\/10.1109\/CSEET.2017.29","DOI":"10.1109\/CSEET.2017.29"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Maier, P., Schwarz, T.: Uml++: enhancing student learning of object-oriented modeling through executable objects. In: Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion \u201924, pp. 107\u2013114. Association for Computing Machinery, New York (2024). https:\/\/doi.org\/10.1145\/3652620.3687777","DOI":"10.1145\/3652620.3687777"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Maruyama, R., Kayama, M., Nagai, T., Otaku, K., Taguchi, N.: Practical uml programming based on the executable uml method at secondary school students. In: 2022 IEEE Global Engineering Education Conference (EDUCON), pp. 45\u201350 (2022). https:\/\/doi.org\/10.1109\/EDUCON52537.2022.9766752","DOI":"10.1109\/EDUCON52537.2022.9766752"},{"key":"3_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0676-3","author":"T Mens","year":"2018","unstructured":"Mens, T., Decan, A., Spanoudakis, N.: A method for testing and validating executable statechart models. Softw. Syst. Model. (2018). https:\/\/doi.org\/10.1007\/s10270-018-0676-3","journal-title":"Softw. Syst. Model."},{"key":"3_CR12","unstructured":"Object Management Group OMG: UML \u2013 Unified Modeling Language, Language Specification (2026). https:\/\/www.omg.org\/spec\/UML\/. Accessed 24 Mar 2026"},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"Ogata, S., Kayama, M.: Sml4c: fully automatic classification of state machine models for model inspection in education. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 720\u2013729 (2019). https:\/\/doi.org\/10.1109\/MODELS-C.2019.00109","DOI":"10.1109\/MODELS-C.2019.00109"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Ogata, S., Kayama, M., Okano, K.: Smart-learning: state machine simulators for developing thinking skills. In: 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT), pp. 81\u201383 (2017). https:\/\/doi.org\/10.1109\/ICALT.2017.73","DOI":"10.1109\/ICALT.2017.73"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Ogata, S., Kayama, M., Okano, K.: Approach to testing many state machine models in education. In: Proceedings of the 11th International Conference on Computer Supported Education, vol. 1: CSEDU, pp. 481\u2013488. INSTICC, SciTePress (2019)","DOI":"10.5220\/0007768004810488"},{"key":"3_CR16","first-page":"3","volume":"5","author":"D Riehle","year":"2000","unstructured":"Riehle, D., Tilman, M., Johnson, R.: Dynamic object model. Pattern Lang. Prog. Des. 5, 3\u201324 (2000)","journal-title":"Pattern Lang. Prog. Des."},{"key":"3_CR17","unstructured":"The Eclipse Foundation: Eclipse Papyrus (2026). https:\/\/eclipse.dev\/papyrus\/. Accessed 18 Mar 2026"},{"key":"3_CR18","unstructured":"Van Mierlo, S., Van Tendeloo, Y., Meyers, B., Exelmans, J., Vangheluwe, H.: Sccd: scxml extended with class diagrams. In: Proceedings of the Workshop on Engineering Interactive Systems with SCXML, vol. 2, pp. 1\u20132 (2016)"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10270-022-01020-1","volume":"22","author":"C Verbruggen","year":"2023","unstructured":"Verbruggen, C., Snoeck, M.: Practitioners\u2019 experiences with model-driven engineering: a meta-review. Softw. Syst. Model. 22(1), 111\u2013129 (2023). https:\/\/doi.org\/10.1007\/s10270-022-01020-1","journal-title":"Softw. Syst. Model."},{"key":"3_CR20","unstructured":"V\u00f6lter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Heidelberg (2013)"},{"key":"3_CR21","unstructured":"W3C: State Chart XML (SCXML): State Machine Notation for Control Abstraction (2026). https:\/\/w3.org\/TR\/scxml\/. Accessed 18 Mar 2026"},{"key":"3_CR22","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-0-387-35607-5_1","volume-title":"Software Architecture","author":"JW Yoder","year":"2002","unstructured":"Yoder, J.W., Johnson, R.: The adaptive object-model architectural style. In: Bosch, J., Gentleman, M., Hofmeister, C., Kuusela, J. (eds.) Software Architecture. ITIFIP, vol. 97, pp. 3\u201327. Springer, Boston, MA (2002). https:\/\/doi.org\/10.1007\/978-0-387-35607-5_1"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Advanced Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-36587-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T04:47:19Z","timestamp":1787892439000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-36587-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,29]]},"ISBN":["9783032365866","9783032365873"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-36587-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,8,29]]},"assertion":[{"value":"29 August 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that\u00a0are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"SEAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Euromicro Conference on Software Engineering and Advanced Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Krak\u00f3w","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"52","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"seaa-12026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dsd-seaa.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}