{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:34:28Z","timestamp":1781238868607,"version":"3.54.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031637896","type":"print"},{"value":"9783031637902","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-63790-2_10","type":"book-chapter","created":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T14:03:41Z","timestamp":1718892221000},"page":"160-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["From Concept to\u00a0Code: Unveiling a\u00a0Tool for\u00a0Translating Abstract State Machines into\u00a0Java Code"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4244-9319","authenticated-orcid":false,"given":"Andrea","family":"Bombarda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9679-4551","authenticated-orcid":false,"given":"Silvia","family":"Bonfanti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,6,21]]},"reference":[{"key":"10_CR1","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J-R Abrial","year":"2005","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-030-76020-5_13","volume-title":"Logic, Computation and Rigorous Methods","author":"P Arcaini","year":"2021","unstructured":"Arcaini, P., Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: The ASMETA approach to safety assurance of software systems. In: Raschke, A., Riccobene, E., Schewe, K.-D. (eds.) Logic, Computation and Rigorous Methods. LNCS, vol. 12750, pp. 215\u2013238. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76020-5_13"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 61\u201374. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11811-1_6"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/spe.1019","volume":"41","author":"P Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw. Practice Exp. 41, 155\u2013166 (2011)","journal-title":"Softw. Practice Exp."},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-031-33163-3_25","volume-title":"Rigorous State-Based Methods","author":"A Bombarda","year":"2023","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A.: formal MVC: a\u00a0pattern for\u00a0the\u00a0integration of\u00a0ASM specifications in\u00a0UI development. In: Gl\u00e4sser, U., Creissac Campos, J., M\u00e9ry, D., Palanque, P. (eds.) ABZ 2023. LNCS, vol. 14010, pp. 340\u2013357. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33163-3_25"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Generation of C++ unit tests from abstract state machines specifications. In: IEEE\u00a0Computer Society (ed.) 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 185\u2013193, April 2018","DOI":"10.1109\/ICSTW.2018.00049"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-319-91271-4_25","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"S Bonfanti","year":"2018","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: AsmetaA: animator for abstract state machines. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 369\u2013373. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_25"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-99927-2_2","volume-title":"Testing Software and Systems","author":"S Bonfanti","year":"2018","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Validation of transformation from abstract state machine models to C++ code. In: Medina-Bulo, I., Merayo, M.G., Hierons, R. (eds.) ICTSS 2018. LNCS, vol. 11146, pp. 17\u201332. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99927-2_2"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2205","volume":"32","author":"S Bonfanti","year":"2019","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process 32(2), e2205 (2019)","journal-title":"J. Softw. Evol. Process"},{"key":"10_CR10","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., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71\u201384. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87603-8_7"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-319-40648-0_13","volume-title":"NASA Formal Methods","author":"N Cata\u00f1o","year":"2016","unstructured":"Cata\u00f1o, N., Rivera, V.: EventB2Java: a code generator for event-B. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 166\u2013171. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_13"},{"issue":"3","key":"10_CR13","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-91271-4_16","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"M Dalvandi","year":"2018","unstructured":"Dalvandi, M., Butler, M., Rezazadeh, A., Salehi Fathabadi, A.: Verifiable code generation from scheduled event-B models. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 234\u2013248. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_16"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-11447-2_11","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"V Gervasi","year":"2009","unstructured":"Gervasi, V., Farahbod, R.: JASMine: accessing Java code from CoreASM. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 170\u2013186. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-11447-2_11"},{"key":"10_CR16","first-page":"9","volume-title":"Evolving Algebras 1993: Lipari Guide","author":"Y Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide, pp. 9\u201336. Oxford University Press, Inc., Oxford (1995)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011. ACM, May 2011","DOI":"10.1145\/1985793.1985882"},{"key":"10_CR18","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1007\/978-981-10-0557-2_106","volume-title":"Information Science and Applications (ICISA) 2016","author":"P Kluisritrakul","year":"2016","unstructured":"Kluisritrakul, P., Limpiyakorn, Y.: Generation of Java code from UML sequence and class diagrams. In: Information Science and Applications (ICISA) 2016. LNEE, vol. 376, pp. 1117\u20131125. Springer, Singapore (2016). https:\/\/doi.org\/10.1007\/978-981-10-0557-2_106"},{"issue":"5","key":"10_CR19","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2666357.2597813","volume":"49","author":"R Lezuo","year":"2014","unstructured":"Lezuo, R., Paulweber, P., Krall, A.: CASM: optimized compilation of abstract state machines. ACM SIGPLAN Not. 49(5), 13\u201322 (2014)","journal-title":"ACM SIGPLAN Not."},{"key":"10_CR20","unstructured":"Niaz, I.A., Tanaka, J.: Code generation from UML statecharts. In: Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications, pp. 315\u2013321, December 2003"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-33600-8_17","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"P Paulweber","year":"2016","unstructured":"Paulweber, P., Zdun, U.: A model-based transformation approach to reuse and retarget CASM specifications. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 250\u2013255. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_17"},{"issue":"11","key":"10_CR22","first-page":"1068","volume":"7","author":"J Schmid","year":"2001","unstructured":"Schmid, J.: Compiling abstract state machines to C++. J. Univ. Comput. Sci. 7(11), 1068\u20131087 (2001)","journal-title":"J. Univ. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Rigorous State-Based Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-63790-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:07:59Z","timestamp":1725523679000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-63790-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031637896","9783031637902"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-63790-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author(s) has no competing interests to declare that are relevant to the content of this manuscript.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}},{"value":"ABZ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Rigorous State-Based Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergamo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"abz2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/abz-conf.org\/site\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}