{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T04:05:44Z","timestamp":1749873944251,"version":"3.41.0"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"2","funder":[{"name":"PNRR MUR","award":["ECS_00000041-VITALITY"],"award-info":[{"award-number":["ECS_00000041-VITALITY"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Distrib. Ledger Technol."],"published-print":{"date-parts":[[2025,6,30]]},"abstract":"<jats:p>The recent growth of blockchain has opened the use of technology for supporting the creation of newkinds of trustable systems. Model-driven engineering methodologies have been conceived to facilitate the automatic generation and deployment of software applications starting from the definition and refinement of abstract specification. BPMN choreography diagrams permit the representation of inter-organisational systems from a high-level perspective, just focusing on message exchange. However, the usage of such models in a blockchain-based setting has been limited to scenarios in which parties are involved in single interactions. This aspect becomes significantly relevant when considering complex applications, particularly those in the realm of the Internet of Things. In these cases, the multiplicity of parties and their actions is crucial and requires novel solutions. In this work, we propose a novel approach for modelling, refining, deploying, and executing a choreography on the blockchain, taking into account those scenarios in which the model includes multiple instances. In particular, the considered models are translated into smart contracts able to correctly manage multiplicity. To demonstrate the approach\u2019s feasibility, we designed and presented a smart thermostat application, which is executed on the Polygon blockchain.<\/jats:p>","DOI":"10.1145\/3637555","type":"journal-article","created":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T11:26:53Z","timestamp":1702639613000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Blockchain-Based Execution of BPMN Choreographies with Multiple Instances"],"prefix":"10.1145","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6767-2184","authenticated-orcid":false,"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1192-6696","authenticated-orcid":false,"given":"Alessandro","family":"Marcelletti","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1738-9043","authenticated-orcid":false,"given":"Andrea","family":"Morichetta","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2840-7561","authenticated-orcid":false,"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5374-2364","authenticated-orcid":false,"given":"Barbara","family":"Re","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4740-7521","authenticated-orcid":false,"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[{"name":"University of Florence, Florence, Italy"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"e_1_3_2_2_2","first-page":"1","volume-title":"Proceedings of the International Conference on Information Technology","author":"Aung Yu Nandar","year":"2017","unstructured":"Yu Nandar Aung and Thitinan Tantidham. 2017. Review of Ethereum: Smart home case study. In Proceedings of the International Conference on Information Technology. IEEE, Los Alamitos, CA, 1\u20134."},{"key":"e_1_3_2_3_2","unstructured":"Adam Back et\u00a0al. 2014. Enabling blockchain innovations with pegged sidechains. 72 (2014) 201\u2013224. http:\/\/www.opensciencereview.com\/papers\/123\/enablingblockchain-innovations-with-pegged-sidechains"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0214-z"},{"key":"e_1_3_2_5_2","first-page":"50","volume-title":"Proceedings of the European Symposium on Security and Privacy Workshops","author":"Boudguiga Aymen","year":"2017","unstructured":"Aymen Boudguiga, Nabil Bouzerna, Louis Granboulan, Alexis Olivereau, Flavien Quesnel, Anthony Roger, and Renaud Sirdey. 2017. Towards better availability and accountability for IoT updates by means of a blockchain. In Proceedings of the European Symposium on Security and Privacy Workshops. IEEE, Los Alamitos, CA, 50\u201358."},{"key":"e_1_3_2_6_2","first-page":"1","volume-title":"Proceedings of the Global Communications Conference.","author":"Camilo Gustavo F.","year":"2020","unstructured":"Gustavo F. Camilo, Gabriel Antonio F. Rebello, Lucas Airam C. de Souza, and Otto Carlos M. B. Duarte. 2020. AutAvailChain: Automatic and secure data availability through blockchain. In Proceedings of the Global Communications Conference.IEEE, Los Alamitos, CA, 1\u20136."},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.bcra.2021.100018"},{"key":"e_1_3_2_8_2","doi-asserted-by":"crossref","first-page":"1470","DOI":"10.1145\/3341105.3373988","volume-title":"Proceedings of the 35th ACM\/SIGAPP Symposium on Applied Computing","author":"Corradini Fl\u00e1vio","year":"2020","unstructured":"Fl\u00e1vio Corradini, A. Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, and Francesco Tiezzi. 2020. Engineering trustable choreography-based systems using blockchain. In Proceedings of the 35th ACM\/SIGAPP Symposium on Applied Computing. ACM, New York, NY, 1470\u20131479."},{"key":"e_1_3_2_9_2","first-page":"255","volume-title":"Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and Other Affiliated Events (PerCom Workshops \u201922)","author":"Corradini Flavio","year":"2022","unstructured":"Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, and Francesco Tiezzi. 2022. A choreography-driven approach for blockchain-based IoT applications. In Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and Other Affiliated Events (PerCom Workshops \u201922). IEEE, Los Alamitos, CA, 255\u2013260."},{"key":"e_1_3_2_10_2","first-page":"53","article-title":"Engineering trustable and auditable choreography-based systems using blockchain","volume":"13","author":"Corradini Flavio","year":"2022","unstructured":"Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, and Francesco Tiezzi. 2022. Engineering trustable and auditable choreography-based systems using blockchain. ACM Trans. Manag. Inf. Syst. 13, 3 (Feb. 2022), Article 31, 53 pages.","journal-title":"ACM Trans. Manag. Inf. Syst."},{"key":"e_1_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Flavio Corradini Chiara Muzi Barbara Re Lorenzo Rossi and Francesco Tiezzi. 2018. Animating multiple instances in BPMN collaborations: From formal semantics to tool support. In Business Process Management. Lecture Notes in Computer Science Vol. 11080. Springer 83\u2013101.","DOI":"10.1007\/978-3-319-98648-7_6"},{"key":"e_1_3_2_12_2","series-title":"CEUR Workshop Proceedings","first-page":"86","volume-title":"Proceedings of the Dissertation Award and Demonstration, Industrial Track at BPM 2018.","volume":"2196","author":"Corradini Flavio","year":"2018","unstructured":"Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, and Francesco Tiezzi. 2018. MIDA: Multiple instances and data animator. In Proceedings of the Dissertation Award and Demonstration, Industrial Track at BPM 2018.CEUR Workshop Proceedings, Vol. 2196. CEUR, 86\u201390. http:\/\/ceur-ws.org\/Vol-2196\/BPM_2018_paper_18.pdf"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101459"},{"key":"e_1_3_2_14_2","article-title":"Design of blockchain-based applications using model-driven engineering and low-code\/no-code platforms: A structured literature review","author":"Curty Simon","year":"2023","unstructured":"Simon Curty, Felix H\u00e4rer, and Hans-Georg Fill. 2023. Design of blockchain-based applications using model-driven engineering and low-code\/no-code platforms: A structured literature review. Softw. Syst. Model. Published June 11, 2023.","journal-title":"Softw. Syst. Model."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3555776.3577826"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.06.007"},{"key":"e_1_3_2_17_2","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/MoDRE.2013.6597266","volume-title":"Proceedings of the International Workshop on Model-Driven Requirements Engineering (MoDRE \u201913)","author":"Fatima Urooj","year":"2013","unstructured":"Urooj Fatima and Rolv Br\u00e6k. 2013. Modelling multiplicity in choreography models. In Proceedings of the International Workshop on Model-Driven Requirements Engineering (MoDRE \u201913). IEEE, Los Alamitos, CA, 74\u201378."},{"issue":"10","key":"e_1_3_2_18_2","article-title":"Synthesis of context-aware business-to-business processes for location-based services through choreographies","volume":"34","author":"Filippone Gianluca","year":"2022","unstructured":"Gianluca Filippone, Marco Autili, and Massimo Tivoli. 2022. Synthesis of context-aware business-to-business processes for location-based services through choreographies. J. Softw. Evol. Process. 34, 10 (2022), e2416.","journal-title":"J. Softw. Evol. Process."},{"key":"e_1_3_2_19_2","volume-title":"Service Oriented Computing in Mobile Environments: Abstractions and Mechanisms for Interoperability and Composition","author":"Georgantas Nikolaos","year":"2018","unstructured":"Nikolaos Georgantas. 2018. Service Oriented Computing in Mobile Environments: Abstractions and Mechanisms for Interoperability and Composition. Ph. D. Dissertation. Sorbonne Universit\u00e9."},{"issue":"3","key":"e_1_3_2_20_2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s00450-017-0387-y","article-title":"Modeling and execution of data-aware choreographies: An overview","volume":"33","author":"Hahn Michael","year":"2018","unstructured":"Michael Hahn, Uwe Breitenb\u00fccher, Oliver Kopp, and Frank Leymann. 2018. Modeling and execution of data-aware choreographies: An overview. Comput. Sci. Res. Dev. 33, 3-4 (2018), 329\u2013340.","journal-title":"Comput. Sci. Res. Dev."},{"key":"e_1_3_2_21_2","first-page":"1165","volume-title":"Proceedings of the International Conference on Information and Communication Technology Convergence","author":"Han Donhee","year":"2017","unstructured":"Donhee Han, Hongjin Kim, and Juwook Jang. 2017. Blockchain based smart door lock system. In Proceedings of the International Conference on Information and Communication Technology Convergence. IEEE, Los Alamitos, CA, 1165\u20131167."},{"key":"e_1_3_2_22_2","first-page":"464","volume-title":"Proceedings of the 2017 19th International Conference on Advanced Communication Technology (ICACT \u201917).","author":"Huh Seyoung","year":"2017","unstructured":"Seyoung Huh, Sangrae Cho, and Soohyung Kim. 2017. Managing IoT devices using blockchain platform. In Proceedings of the 2017 19th International Conference on Advanced Communication Technology (ICACT \u201917).IEEE, Los Alamitos, CA, 464\u2013467."},{"key":"e_1_3_2_23_2","first-page":"CEUR Workshop P","volume-title":"Proceedings of the ER Forum and Poster & Demos Session Co-Located with the 38th International Conference on Conceptual Modeling.","author":"Ladleif Jan","year":"2019","unstructured":"Jan Ladleif, Anton von Weltzien, and Mathias Weske. 2019. chor-js: A modeling framework for BPMN 2.0 choreography diagrams. In Proceedings of the ER Forum and Poster & Demos Session Co-Located with the 38th International Conference on Conceptual Modeling.CEUR Workshop Proceedings, Vol. 2469. CEUR, 113\u2013117."},{"key":"e_1_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Mar\u00eda Teresa G\u00f3mez L\u00f3pez Jos\u00e9 Miguel P\u00e9rez-\u00c1lvarez \u00c1ngel Jes\u00fas Varela-Vaca and Rafael M. Gasca. 2016. Guiding the creation of choreographed processes with multiple instances based on data models. In Business Process Management Workshops. Lecture Notes in Business Information Processing Vol. 281. Springer 239\u2013251.","DOI":"10.1007\/978-3-319-58457-7_18"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2020.101622"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2702"},{"key":"e_1_3_2_27_2","doi-asserted-by":"crossref","unstructured":"Andreas Meyer Luise Pufahl Dirk Fahland and Mathias Weske. 2013. Modeling and enacting complex data dependencies in business processes. In Business Process Management. Lecture Notes in Computer Science Vol. 8094. Springer 171\u2013186.","DOI":"10.1007\/978-3-642-40176-3_14"},{"key":"e_1_3_2_28_2","article-title":"Business Process Model and Notation (BPMN)","year":"2011","unstructured":"OMG. 2011. Business Process Model and Notation (BPMN). Retrieved December 21, 2023 from https:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF\/","journal-title":"Retrieved December 21, 2023 from https:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF\/"},{"issue":"2","key":"e_1_3_2_29_2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCE.2018.2880806","article-title":"Designing a blockchain-based IoT with Ethereum, Swarm, and LoRa: The software solution to create high availability with minimal security risks","volume":"8","author":"Ozyilmaz Kazim Rifat","year":"2019","unstructured":"Kazim Rifat Ozyilmaz and Arda Yurdakul. 2019. Designing a blockchain-based IoT with Ethereum, Swarm, and LoRa: The software solution to create high availability with minimal security risks. IEEE Consum. Electron. Mag. 8, 2 (2019), 28\u201334.","journal-title":"IEEE Consum. Electron. Mag."},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.3390\/s18082575"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11747-022-00889-0"},{"key":"e_1_3_2_32_2","series-title":"CEUR Workshop Proceedings","first-page":"56","volume-title":"Proceedings of the Dissertation Award and Demonstration, Industrial Track at BPM.","volume":"2196","author":"Tran An Binh","year":"2018","unstructured":"An Binh Tran, Qinghua Lu, and Ingo Weber. 2018. Lorikeet: A model-driven engineering tool for blockchain-based business process execution and asset management. In Proceedings of the Dissertation Award and Demonstration, Industrial Track at BPM.CEUR Workshop Proceedings, Vol. 2196. CEUR, 56\u201360."},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3217794"},{"key":"e_1_3_2_34_2","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-319-62594-2_12","volume-title":"Cloud Computing and Services Science","author":"Wagner Sebastian","year":"2017","unstructured":"Sebastian Wagner, Uwe Breitenb\u00fccher, Oliver Kopp, Andreas Wei\u00df, and Frank Leymann. 2017. Fostering the reuse of TOSCA-based applications by merging BPEL management plans. In Cloud Computing and Services Science, Markus Helfert, Donald Ferguson, Victor M\u00e9ndez Mu\u00f1oz, and Jorge Cardoso (Eds.). Springer International Publishing, 232\u2013254."},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.5220\/0004857902870298"},{"key":"e_1_3_2_36_2","doi-asserted-by":"crossref","first-page":"284","DOI":"10.5220\/0005443802840296","volume-title":"Proceedings of the International Conference on Cloud Computing and Services Science","volume":"2","author":"Wagner Sebastian","year":"2015","unstructured":"Sebastian Wagner, Oliver Kopp, and Frank Leymann. 2015. Choreography-based consolidation of interacting processes having activity-based loops. In Proceedings of the International Conference on Cloud Computing and Services Science, Vol. 2. 284\u2013296."},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2017.1800116"}],"container-title":["Distributed Ledger Technologies: Research and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3637555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T12:39:08Z","timestamp":1749818348000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3637555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6,30]]}},"alternative-id":["10.1145\/3637555"],"URL":"https:\/\/doi.org\/10.1145\/3637555","relation":{},"ISSN":["2769-6480","2769-6480"],"issn-type":[{"type":"print","value":"2769-6480"},{"type":"electronic","value":"2769-6480"}],"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2023-03-31","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-12-10","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}