{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T23:40:02Z","timestamp":1749771602289,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319502298"},{"type":"electronic","value":"9783319502304"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50230-4_12","type":"book-chapter","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T13:31:26Z","timestamp":1480512686000},"page":"163-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Visual Notation and Patterns for Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Arcaini","sequence":"first","affiliation":[]},{"given":"Silvia","family":"Bonfanti","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Formal validation and verification of a medical software critical component. In: Proceedings of MEMOCODE 2015, pp. 80\u201389. IEEE, September 2015","DOI":"10.1109\/MEMCOD.2015.7340473"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-33600-8_29","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Mashkoor","year":"2016","unstructured":"Mashkoor, A.: The hemodialysis machine case study. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 329\u2013343. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-33600-8_29"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. 1\u201323 (2015)","DOI":"10.1007\/s10009-015-0394-x"},{"key":"12_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. Pract. Exp. 41, 155\u2013166 (2011)","journal-title":"Softw. Pract. Exp."},{"key":"12_CR5","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)"},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.2298\/CSIS110114012B","volume":"8","author":"BR Bryant","year":"2011","unstructured":"Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., Karsai, G.: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2), 225\u2013253 (2011)","journal-title":"Comput. Sci. Inf. Syst."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3540547428_42","volume-title":"ESEC \u201991","author":"J Dick","year":"1991","unstructured":"Dick, J., Loubersac, J.: Integrating structured and formal methods: a visual approach to VDM. In: Lamsweerde, A., Fugetta, A. (eds.) ESEC 1991. LNCS, vol. 550, pp. 37\u201359. Springer, Heidelberg (1991). doi: 10.1007\/3540547428_42"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Dulac, N., Viguier, T., Leveson, N., Storey, M.-A.: On the use of visualization in formal requirements specification. In: Proceedings of the 2002 IEEE Joint International Conference on Requirements Engineering, pp. 71\u201380. IEEE (2002)","DOI":"10.1109\/ICRE.2002.1048507"},{"key":"12_CR9","unstructured":"Gargantini, A., Riccobene, E.: ViBBA: a toolbox for automatic model driven animation. In: Proceedings of SIMVIS 2005, pp. 101\u2013114. SCS Publishing House (2005)"},{"issue":"12","key":"12_CR10","first-page":"1949","volume":"14","author":"A Gargantini","year":"2008","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A metamodel-based language and a simulation engine for Abstract State Machines. J. UCS 14(12), 1949\u20131983 (2008)","journal-title":"J. UCS"},{"issue":"3","key":"12_CR11","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)","journal-title":"Comput. Netw."},{"key":"12_CR12","volume-title":"Modeling Reactive Systems with Statecharts: The STATEMATE Approach","author":"D Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill Inc., New York (1998)"},{"key":"12_CR13","unstructured":"Kim, S.-K., Carrington, D.: Visualization of formal specifications. In: Proceedings of APSEC 1999, pp. 102\u2013109. IEEE (1999)"},{"issue":"12","key":"12_CR14","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1016\/j.jss.2009.06.057","volume":"82","author":"FA Kraemer","year":"2009","unstructured":"Kraemer, F.A., Sltten, V., Herrmann, P.: Tool support for the rapid composition, analysis and implementation of reactive services. J. Syst. Softw. 82(12), 2068\u20132080 (2009)","journal-title":"J. Syst. Softw."},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-04570-7_17","volume-title":"Formal Methods for Industrial Critical Systems","author":"L Ladenberger","year":"2009","unstructured":"Ladenberger, L., Bendisposto, J., Leuschel, M.: Visualising Event-B models with B-Motion studio. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 202\u2013204. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04570-7_17"},{"key":"12_CR16","first-page":"427","volume-title":"From Animation to Data Validation: The ProB Constraint Solver 10 Years On","author":"M Leuschel","year":"2014","unstructured":"Leuschel, M., Bendisposto, J., Dobrikov, I., Krings, S., Plagge, D.: From Animation to Data Validation: The ProB Constraint Solver 10 Years On, pp. 427\u2013446. Wiley, Hoboken (2014)"},{"key":"12_CR17","unstructured":"Leuschel, M., Samia, M., Bendisposto, J.: Easy graphical animation and formula visualisation for teaching B. In: The B Method: From Research to Teaching (2008)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BFb0053506","volume-title":"Services and Visualization Towards User-Friendly Design","author":"T Margaria","year":"1998","unstructured":"Margaria, T., Braun, V.: Formal methods and customized visualization: a fruitful symbiosis. In: Margaria, T., Steffen, B., R\u00fcckert, R., Posegga, J. (eds.) Services and Visualization Towards User-Friendly Design. LNCS, vol. 1385, pp. 190\u2013207. Springer, Heidelberg (1998). doi: 10.1007\/BFb0053506"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/3-540-36103-0_53","volume-title":"Formal Methods and Software Engineering","author":"H Miao","year":"2002","unstructured":"Miao, H., Liu, L., Li, L.: Formalizing UML models with Object-Z. In: George, C., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 523\u2013534. Springer, Heidelberg (2002). doi: 10.1007\/3-540-36103-0_53"},{"key":"12_CR20","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/978-1-4614-3535-8_53","volume-title":"Innovations and Advances in Computer, Information, Systems Sciences, and Engineering","author":"M Najafi","year":"2013","unstructured":"Najafi, M., Haghighi, H.: An integration of UML-B and Object-Z in software development process. In: Elleithy, K., Sobh, T. (eds.) Innovations and Advances in Computer, Information, Systems Sciences, and Engineering. Lecture Notes in Electrical Engineering, vol. 152, pp. 633\u2013648. Springer, New York (2013)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/11562436_28","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"M Pradella","year":"2005","unstructured":"Pradella, M., Rossi, M., Mandrioli, D.: ArchiTRIO: a UML-compatible language for architectural description and its formal semantics. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 381\u2013395. Springer, Heidelberg (2005). doi: 10.1007\/11562436_28"},{"issue":"6","key":"12_CR22","doi-asserted-by":"publisher","first-page":"1077","DOI":"10.1007\/s00165-013-0289-0","volume":"26","author":"E Riccobene","year":"2014","unstructured":"Riccobene, E., Scandurra, P.: A formal framework for service modeling and prototyping. Formal Asp. Comput. 26(6), 1077\u20131113 (2014)","journal-title":"Formal Asp. Comput."},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Spichkova, M.: Design of formal languages and interfaces: \u201cformal\u201d does not mean \u201cunreadable\u201d. In: Emerging Research and Trends in Interactivity and the Human-Computer, Interface, pp. 301\u2013314 (2014)","DOI":"10.4018\/978-1-4666-4623-0.ch015"},{"key":"12_CR25","unstructured":"Spichkova, M.: Human factors of formal methods. CoRR, abs\/1404.7247 (2014)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50230-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T23:10:51Z","timestamp":1749769851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50230-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319502298","9783319502304"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50230-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 December 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}