{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T07:00:12Z","timestamp":1781334012915,"version":"3.54.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,3,13]]},"DOI":"10.1109\/percomworkshops56833.2023.10150284","type":"proceedings-article","created":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T15:02:56Z","timestamp":1687532576000},"page":"86-91","source":"Crossref","is-referenced-by-count":5,"title":["ChoEn: A Smart Contract Based Choreography Enforcer"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3632-3533","authenticated-orcid":false,"given":"Francesco","family":"Spegni","sequence":"first","affiliation":[{"name":"Università Politecnica delle Marche,Ancona,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lorenzo","family":"Fratini","sequence":"additional","affiliation":[{"name":"Università Politecnica delle Marche,Ancona,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4813-7861","authenticated-orcid":false,"given":"Massimiliano","family":"Pirani","sequence":"additional","affiliation":[{"name":"Università Politecnica delle Marche,Ancona,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4807-6632","authenticated-orcid":false,"given":"Luca","family":"Spalazzi","sequence":"additional","affiliation":[{"name":"Università Politecnica delle Marche,Ancona,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.bcra.2022.100115"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CBI.2013.59"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.35490\/EC3.2021.204"},{"key":"ref4","first-page":"1","article-title":"Formal semantics and analysis of bpmn process models using petri nets","author":"Dijkman","year":"2007","journal-title":"Queensland University of Technology, Tech. Rep"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0196-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.04.036"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2017.08.002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2702"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1098"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3183367"},{"key":"ref11","volume-title":"Business Process Model and Notation (BPMN), Version 2.0. Standard","year":"2011"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25150-9_13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.6740"},{"key":"ref14","first-page":"56","article-title":"Lorikeet: A model-driven engineering tool for blockchain-based business process execution and asset management","author":"Tran","year":"2018","journal-title":"BPM (Dissertation\/Demos\/Industry)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2006.50"}],"event":{"name":"2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)","location":"Atlanta, GA, USA","start":{"date-parts":[[2023,3,13]]},"end":{"date-parts":[[2023,3,17]]}},"container-title":["2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10149845\/10150216\/10150284.pdf?arnumber=10150284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T04:25:18Z","timestamp":1712982318000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10150284\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,13]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/percomworkshops56833.2023.10150284","relation":{},"subject":[],"published":{"date-parts":[[2023,3,13]]}}}