{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T23:30:18Z","timestamp":1770766218777,"version":"3.50.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031626968","type":"print"},{"value":"9783031626975","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-62697-5_1","type":"book-chapter","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:23Z","timestamp":1718053283000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Choreographic Automata: A Case Study in\u00a0Healthcare Management"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6604-387X","authenticated-orcid":false,"given":"Sourabh","family":"Pal","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2527-9995","authenticated-orcid":false,"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[]},{"given":"Massimo","family":"Clo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Adamo, G., Borgo, S., Di Francescomarino, C., Ghidini, C., Guarino, N., Sanfilippo, E.M.: Business processes and their participants: an ontological perspective. In: Esposito, F., Basili, R., Ferilli, S., Lisi, F. (eds.) AI*IA 2017 Advances in Artificial Intelligence. AI*IA 2017. LNCS, vol. 10640, pp. 215\u2013228 Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70169-1_16","DOI":"10.1007\/978-3-319-70169-1_16"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2014.131","volume":"32","author":"M Autili","year":"2015","unstructured":"Autili, M., Inverardi, P., Tivoli, M.: Automated synthesis of service choreographies. IEEE Softw. 32(1), 50\u201357 (2015)","journal-title":"IEEE Softw."},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-030-50029-0_6","volume-title":"Coordination Models and Languages","author":"F Barbanera","year":"2020","unstructured":"Barbanera, F., Lanese, I., Tuosto, E.: Choreography automata. In: Bliudze, S., Bocchi, L. (eds.) COORDINATION 2020. LNCS, vol. 12134, pp. 86\u2013106. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50029-0_6"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.scico.2008.01.002","volume":"71","author":"J Barjis","year":"2008","unstructured":"Barjis, J.: The importance of business process modeling in software systems design. Sci. Comput. Program. 71(1), 73\u201387 (2008)","journal-title":"Sci. Comput. Program."},{"key":"1_CR5","unstructured":"BPMN choreography diagrams documentation. https:\/\/www.ibm.com\/docs\/en\/rational-soft-arch\/9.7.0?topic=diagrams-bpmn-choreography"},{"issue":"2","key":"1_CR6","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-05032-4_1","volume-title":"Software Engineering and Formal Methods","author":"M Bravetti","year":"2014","unstructured":"Bravetti, M., et al.: Towards global and local types for adaptation. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 3\u201314. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05032-4_1"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"111007","DOI":"10.1016\/j.jss.2021.111007","volume":"180","author":"F Corradini","year":"2021","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., Vandin, A.: A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180, 111007 (2021)","journal-title":"J. Syst. Softw."},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Coto, A., Barbanera, F., Lanese, I., Rossi, D., Tuosto, E.: On formal choreographic modelling: a case study in EU business processes. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ISoLA 2022. LNCS, vol. 13701, pp. 205\u2013219. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_13","DOI":"10.1007\/978-3-031-19849-6_13"},{"issue":"6","key":"1_CR10","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s00236-017-0303-8","volume":"55","author":"S Debois","year":"2018","unstructured":"Debois, S., Hildebrandt, T.T., Slaats, T.: Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica 55(6), 489\u2013520 (2018)","journal-title":"Acta Informatica"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic multirole session types. In: Ball, T., Sagiv, M. (eds.), Proceedings of the 38th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, 26\u201328 January 2011, pp. 435\u2013446. ACM (2011)","DOI":"10.1145\/1926385.1926435"},{"key":"1_CR12","unstructured":"DOT. https:\/\/graphviz.org\/doc\/info\/lang.html"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.), Proceedings of the 13th International Conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 621\u2013630. ACM (2004)","DOI":"10.1145\/988672.988756"},{"issue":"1\u20132","key":"1_CR14","first-page":"19","volume":"328","author":"F Xiang","year":"2004","unstructured":"Xiang, F., Bultan, T., Jianwen, S.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1\u20132), 19\u201337 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR15","unstructured":"Gheri, L., Lanese, I., Sayers, N., Tuosto, E., Yoshida, N.: Design-by-contract for flexible multiparty session protocols. In: Ali, K., Vitek, J. (eds.), 36th European Conference on Object-Oriented Programming, ECOOP 2022, 6\u201310 June 2022, Berlin, Germany, volume 222 of LIPIcs, pp. 8:1\u20138:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.jlamp.2019.06.003","volume":"108","author":"R Guanciale","year":"2019","unstructured":"Guanciale, R., Tuosto, E.: Realisability of pomsets. J. Log. Algebraic Methods Program. 108, 69\u201389 (2019)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"102535","DOI":"10.1016\/j.scico.2020.102535","volume":"202","author":"R Guanciale","year":"2021","unstructured":"Guanciale, R., Tuosto, E.: Pomcho: a tool chain for choreographic design. Sci. Comput. Program. 202, 102535 (2021)","journal-title":"Sci. Comput. Program."},{"key":"1_CR18","unstructured":"Harvey, P., Fowler, S., Dardha, O., Gay, S.J.: Multiparty session types for safe runtime adaptation in an actor language. In: M\u00f8ller, A., Sridharan, M. (eds.), 35th European Conference on Object-Oriented Programming, ECOOP 2021, 11\u201317 July 2021, Aarhus, Denmark (Virtual Conference), volume 194 of LIPIcs, pp. 10:1\u201310:30. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021)"},{"key":"1_CR19","unstructured":"Healthcare authorization and accreditation protocol. https:\/\/salute.regione.emilia-romagna.it\/ssr\/strumenti-e-informazioni\/autorizzazione-e-accreditamento\/autorizzazione-e-accreditamento-sanitario"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-030-21759-4_8","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"TT Hildebrandt","year":"2019","unstructured":"Hildebrandt, T.T., Slaats, T., L\u00f3pez, H.A., Debois, S., Carbone, M.: Declarative choreographies and liveness. In: P\u00e9rez, J.A., Yoshida, N. (eds.) FORTE 2019. LNCS, vol. 11535, pp. 129\u2013147. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21759-4_8"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.), Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, 7-12 January 2008, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1\u20139:67 (2016)","DOI":"10.1145\/2827695"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-662-54494-5_7","volume-title":"Fundamental Approaches to Software Engineering","author":"R Hu","year":"2017","unstructured":"Hu, R., Yoshida, N.: Explicit connection actions in multiparty session types. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 116\u2013133. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_7"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016)","DOI":"10.1145\/2873052"},{"key":"1_CR25","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web services choreography description language version 1.0. 3C Candidate Recommendation 9, 290\u2013313 (2005)"},{"key":"1_CR26","unstructured":"Legge Regionale 06 Novembre 2019. https:\/\/demetra.regione.emilia-romagna.it\/al\/articolo?urn=er:assemblealegislativa:legge:2019;22"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Li, E., Stutz, F., Wies, T., Zufferey, D.: Complete multiparty session type projection with automata. In: Enea, C., Lal, A. (eds.) Computer Aided Verification. CAV 2023, LNCS, Part III, vol. 13966, pp. 350\u2013373. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37709-9_17","DOI":"10.1007\/978-3-031-37709-9_17"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-030-90636-8_5","volume-title":"Formal Aspects of Component Software","author":"S Orlando","year":"2021","unstructured":"Orlando, S., Pasquale, V.D., Barbanera, F., Lanese, I., Tuosto, E.: Corinne, a tool for choreography automata. In: Sala\u00fcn, G., Wijs, A. (eds.) FACS 2021. LNCS, vol. 13077, pp. 82\u201392. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90636-8_5"},{"key":"1_CR29","unstructured":"Pal, S., Lanese, I., Clo, M.: BPMN collaboration diagram of the Regional Coordination for Healthcare Authorization and Accreditation protocol. https:\/\/drive.google.com\/file\/d\/1i10iTBZ_kvOcwSrRyTQZ_qEJHUsCB3dz\/view"},{"key":"1_CR30","unstructured":"Pal, S., Lanese, I., Tuosto, E.: Corinne-3. https:\/\/github.com\/lanese\/corinne-3"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Thiemann, P., Vasconcelos, V.T.: Label-dependent session types. Proc. ACM Program. Lang. 4(POPL), 67:1\u201367:29 (2020)","DOI":"10.1145\/3371135"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlamp.2017.11.002","volume":"95","author":"E Tuosto","year":"2018","unstructured":"Tuosto, E., Guanciale, R.: Semantics of global view of choreographies. J. Log. Algebraic Methods Program. 95, 17\u201340 (2018)","journal-title":"J. Log. Algebraic Methods Program."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62697-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:35Z","timestamp":1718053295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62697-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626968","9783031626975"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62697-5_1","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":"11 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}