{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T04:08:20Z","timestamp":1781496500357,"version":"3.54.1"},"reference-count":72,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2022,2,11]],"date-time":"2022-02-11T00:00:00Z","timestamp":1644537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"PRIN projects","award":["2017TWRCNB and 2017KRC7KT"],"award-info":[{"award-number":["2017TWRCNB and 2017KRC7KT"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Manage. Inf. Syst."],"published-print":{"date-parts":[[2022,9,30]]},"abstract":"<jats:p>A key challenge in engineering distributed systems consists in the integration into their development of a decentralised infrastructure allowing the system participants to trust each other. In this article, we face such a challenge by proposing a model-driven methodology and a related framework to support the engineering of trustable and auditable systems. The approach is based on choreography diagrams specified in the Business Process Model and Notation standard, describing the interactions that should occur among the distributed components of systems. We support the whole lifecycle of choreographies, from their modelling to their distributed execution and auditing. The framework, based on blockchain technology, is named ChorChain. More specifically, ChorChain takes as input a BPMN choreography model and automatically translates it into a Solidity smart contract. The smart contract permits us to enforce the interactions among the cooperating components as prescribed by the choreography model. By leveraging on the auditability of blockchain, ChorChain also supports the activity of auditors continuously. In such a way, ChorChain enables auditors to get some degree of assurance on what happens simultaneously with, or shortly after, information disclosure. We assess the feasibility and effectiveness of the proposed methodology and framework through experiments conducted on the Rinkeby Ethereum Testnet.<\/jats:p>","DOI":"10.1145\/3505225","type":"journal-article","created":{"date-parts":[[2022,2,11]],"date-time":"2022-02-11T12:48:09Z","timestamp":1644583689000},"page":"1-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":42,"title":["Engineering Trustable and Auditable Choreography-based Systems Using Blockchain"],"prefix":"10.1145","volume":"13","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[{"name":"University of Camerino, Camerino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Marcelletti","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1738-9043","authenticated-orcid":false,"given":"Andrea","family":"Morichetta","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[{"name":"University of Florence, Florence, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,2,11]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.23919\/CISTI.2018.8399460"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3286978.3286985"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2019.8761448"},{"key":"e_1_3_3_5_2","first-page":"361","volume-title":"Model Driven Tool and Process Integration","author":"Aldazabal Aitor","year":"2008","unstructured":"Aitor Aldazabal, Terry Baily, Felix Nanclares, Andrey Sadovykh, Christian Hein, and Tom Ritter. 2008. Automated model driven development processes. In Model Driven Tool and Process Integration. Fraunhofer IRB Verlag, 361\u2013375."},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2013.35"},{"key":"e_1_3_3_7_2","first-page":"346","volume-title":"Software Engineering and Algorithms in Intelligent Systems (AISC)","author":"Almeida Samantha","year":"2018","unstructured":"Samantha Almeida, Adriano Albuquerque, and Andreia Silva. 2018. An approach to develop software that uses blockchain. In Software Engineering and Algorithms in Intelligent Systems (AISC), Vol. 763. Springer, 346\u2013355."},{"key":"e_1_3_3_8_2","article-title":"Designing and auditing accounting systems based on blockchain and distributed ledger principles","author":"Appelbaum Deniz","year":"2017","unstructured":"Deniz Appelbaum and R. Nehmer. 2017. Designing and auditing accounting systems based on blockchain and distributed ledger principles. Feliciano School of Business, 1\u201319.","journal-title":"Feliciano School of Business"},{"key":"e_1_3_3_9_2","volume-title":"Auditing and Assurance Services: An Integrated Approach","author":"Arens Alvin A.","year":"2012","unstructured":"Alvin A. Arens, Randal J. Elder, and Beasley Mark. 2012. Auditing and Assurance Services: An Integrated Approach. Prentice Hall, Boston, MA."},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167287"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2019.00065"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR-WCRE.2014.6747202"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1080\/10447310802205776"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_1"},{"issue":"194","key":"e_1_3_3_15_2","first-page":"4","article-title":"SUS-A quick and dirty usability scale","volume":"189","author":"Brooke John","year":"1996","unstructured":"John Brooke et\u00a0al. 1996. SUS-A quick and dirty usability scale. Usabil. Eval. Industr. 189, 194 (1996), 4\u20137.","journal-title":"Usabil. Eval. Industr."},{"key":"e_1_3_3_16_2","first-page":"122","volume-title":"Collaboration and Internet Computing","author":"Carminati Barbara","year":"2018","unstructured":"Barbara Carminati, Elena Ferrari, and Christian Rondanini. 2018. Blockchain as a platform for secure inter-organizational business processes. In Collaboration and Internet Computing. IEEE, 122\u2013129."},{"key":"e_1_3_3_17_2","first-page":"58","volume-title":"Web Services","author":"Carminati Barbara","year":"2018","unstructured":"Barbara Carminati, Christian Rondanini, and Elena Ferrari. 2018. Confidential business process execution on blockchain. In Web Services. IEEE, 58\u201365."},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tele.2018.11.006"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2018.8486344"},{"key":"e_1_3_3_20_2","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/978-3-030-30985-5_27","volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"Corradini Flavio","year":"2019","unstructured":"Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, and Massimiliano Sampaolo. 2019. Enabling auditing of smart contracts through process mining. In From Software Engineering to Formal Methods and Tools, and Back, Lecture Notes in Computer Science, Vol. 11865. Springer, 467\u2013480."},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3341105.3373988"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2018.00022"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.2308\/isys-51804"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94214-8_4"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.31"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.24251\/HICSS.2018.509"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.24251\/HICSS.2018.444"},{"key":"e_1_3_3_28_2","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-3-319-65000-5_8","volume-title":"Business Process Management","author":"Garc\u00eda-Ba\u00f1uelos Luciano","year":"2017","unstructured":"Luciano Garc\u00eda-Ba\u00f1uelos, Alexander Ponomarev, Marlon Dumas, and Ingo Weber. 2017. Optimized execution of business processes on blockchain. In Business Process Management, Lecture Notes in Computer Science, Vol. 10445. Springer, 130\u2013146."},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.12.009"},{"key":"e_1_3_3_30_2","first-page":"130","volume-title":"Internet of Things and Intelligence System","author":"Hanada Yuichi","year":"2018","unstructured":"Yuichi Hanada, Luke Hsiao, and Philip Levis. 2018. Smart contracts for machine-to-machine communication: Possibilities and limitations. In Internet of Things and Intelligence System. IEEE, 130\u2013136."},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/CBI.2019.00019"},{"key":"e_1_3_3_32_2","first-page":"133","volume-title":"Proceedings of the Information Systems Research in Scandinavia Conference (IRIS\u201919)","author":"Harer Felix","year":"2019","unstructured":"Felix Harer and Hans-Georg Fill. 2019. A comparison of approaches for visualising blockchains and smart contract. In Proceedings of the Information Systems Research in Scandinavia Conference (IRIS\u201919). 133\u2013140."},{"key":"e_1_3_3_33_2","doi-asserted-by":"crossref","unstructured":"Philipp Klinger and Freimut Bodendorf. Blockchain-based cross-organizational execution framework for dynamic integration of process collaborations. In Entwicklungen Chancen und Herausforderungen der Digitalisierung: Proceedings der 15. Internationalen Tagung Wirtschaftsinformatik WI . GITO Verlag 893\u2013908.","DOI":"10.30844\/wi_2020_i2-klinger"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30429-4_6"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.55"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1108\/978-1-78743-413-420181015"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53337-3_14"},{"key":"e_1_3_3_38_2","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 (CEUR Workshop Proceedings) Vol. 2469. CEUR-WS.org 113\u2013117."},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26619-6_7"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21290-2_25"},{"key":"e_1_3_3_41_2","doi-asserted-by":"crossref","unstructured":"Orlenys L\u00f3pez-Pintado Marlon Dumas Luciano Garc\u00eda-Ba\u00f1uelos and Ingo Weber. 2019. Interpreted execution of business process models on blockchain. In 23rd IEEE International Enterprise Distributed Object Computing Conference EDOC . IEEE 206\u2013215.","DOI":"10.1109\/EDOC.2019.00033"},{"key":"e_1_3_3_42_2","volume-title":"BPM Demo Track and BPM Dissertation Award","author":"L\u00f3pez-Pintado Orlenys","year":"2017","unstructured":"Orlenys L\u00f3pez-Pintado, Marlon Dumas, and Ingo Weber. 2017. Caterpillar: A blockchain-based business process management system. In BPM Demo Track and BPM Dissertation Award, Vol. 1920. CEUR-WS.org."},{"key":"e_1_3_3_43_2","doi-asserted-by":"crossref","unstructured":"Orlenys L\u00f3pez-Pintado Luciano Garc\u00eda-Ba\u00f1uelos Marlon Dumas Ingo Weber and Alexander Ponomarev. 2019. Caterpillar: A business process execution engine on the Ethereum blockchain. Softw. Pract. Exp. 49 7 (2019) 1162\u20131193.","DOI":"10.1002\/spe.2702"},{"key":"e_1_3_3_44_2","volume-title":"Proceedings of the Symposium on Foundations and Applications of Blockchain","author":"Madsen Mads Frederik","year":"2018","unstructured":"Mads Frederik Madsen, Mikkel Gaub, Tr\u00f3ndur H\u00f8gnason, Malthe Ettrup Kirkbro, Tijs Slaats, and S\u00f8ren Debois. 2018. Collaboration among adversaries: Distributed workflow execution on a blockchain. In Proceedings of the Symposium on Foundations and Applications of Blockchain. 8."},{"key":"e_1_3_3_45_2","first-page":"144","volume-title":"Massively Multiagent Systems","author":"Marrocco Luana","year":"2018","unstructured":"Luana Marrocco, Eduardo Castell\u00f3 Ferrer, Antonio Bucchiarone, Arnaud Grignard, Luis Alonso, Kent Larson, et\u00a0al. 2018. BASIC: Towards a blockchained agent-based SImulator for cities. In Massively Multiagent Systems, Lecture Notes in Computer Science, Vol. 11422. Springer, 144\u2013162."},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2009.03.009"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/3183367"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-37453-2_55"},{"key":"e_1_3_3_49_2","doi-asserted-by":"crossref","unstructured":"Marcel M\u00fcller Nadine Ostern and Michael Rosemann. Silver bullet for all trust issues? Blockchain-based trust patterns for collaborative business processes. In Business Process Management: Blockchain and Robotic Process Automation Forum - BPM 2020 Blockchain and RPA Forum (LNBIP) Vol. 393. Springer 3\u201318.","DOI":"10.1007\/978-3-030-58779-6_1"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0653-2"},{"key":"e_1_3_3_51_2","unstructured":"OMG. 2011. BPMN by Example. https:\/\/www.omg.org\/cgi-bin\/doc?dtc\/10-06-02.pdf."},{"key":"e_1_3_3_52_2","unstructured":"OMG. 2011. Business Process Model and Notation. https:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF."},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3399871.3399899"},{"key":"e_1_3_3_54_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/978-3-319-51963-0_31","volume-title":"Theory and Practice of Computer Science","author":"Pastor Oscar","year":"2017","unstructured":"Oscar Pastor. 2017. Model-driven development in practice: From requirements. In Theory and Practice of Computer Science. Lecture Notes in Computer Science, Vol. 10139. Springer, 405\u2013410."},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/2618168.2618190"},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"e_1_3_3_57_2","unstructured":"Sandro Psaila. 2017. Blockchain: A game changer for audit processes. Deloitte Malta Article (2017) 1\u20134."},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.2308\/aud.2002.21.1.147"},{"key":"e_1_3_3_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194123"},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.1086\/209028"},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.05.006"},{"key":"e_1_3_3_62_2","first-page":"361","volume-title":"Business Process Management Workshops","author":"Sturm Christian","year":"2018","unstructured":"Christian Sturm, Jonas Szalanczi, Stefan Sch\u00f6nig, and Stefan Jablonski. 2018. A lean architecture for blockchain based decentralized process execution. In Business Process Management Workshops, Lecture Notes in Business Information Processing, Vol. 342. Springer, 361\u2013373."},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68288-4_38"},{"key":"e_1_3_3_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2017.72"},{"key":"e_1_3_3_65_2","first-page":"56","volume-title":"BPM Dissertation Award, Demonstration, and Industrial Track","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 BPM Dissertation Award, Demonstration, and Industrial Track, Vol. 2196. CEUR-WS.org, 56\u201360."},{"key":"e_1_3_3_66_2","unstructured":"Miklos A. Vasarhelyi and Fern B. Halper. 1991. The continuous audit of online systems. In Auditing: A Journal of Practice and Theory . Citeseer 110\u2013125."},{"key":"e_1_3_3_67_2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-3-319-45348-4_19","volume-title":"Business Process Management","author":"Weber Ingo","year":"2016","unstructured":"Ingo Weber, Xiwei Xu, R\u00e9gis Riveret, Guido Governatori, Alexander Ponomarev, and Jan Mendling. 2016. Untrusted business process monitoring and execution using blockchain. In Business Process Management, Lecture Notes in Computer Science, Vol. 9850. Springer, 329\u2013347."},{"key":"e_1_3_3_68_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12525-019-00386-3"},{"key":"e_1_3_3_69_2","first-page":"45","volume-title":"Software Architecture Companion","author":"Wessling Florian","year":"2018","unstructured":"Florian Wessling and Volker Gruhn. 2018. Engineering software architectures of blockchain-oriented applications. In Software Architecture Companion. IEEE, 45\u201346."},{"key":"e_1_3_3_70_2","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood. 2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Technical Report. Ethereum Yellow Paper."},{"key":"e_1_3_3_71_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.10.010"},{"key":"e_1_3_3_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978326"},{"key":"e_1_3_3_73_2","doi-asserted-by":"publisher","DOI":"10.5555\/2867541.2867781"}],"container-title":["ACM Transactions on Management Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3505225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3505225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:26Z","timestamp":1750188686000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3505225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,11]]},"references-count":72,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9,30]]}},"alternative-id":["10.1145\/3505225"],"URL":"https:\/\/doi.org\/10.1145\/3505225","relation":{},"ISSN":["2158-656X","2158-6578"],"issn-type":[{"value":"2158-656X","type":"print"},{"value":"2158-6578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,11]]},"assertion":[{"value":"2020-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-02-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}