{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T20:48:21Z","timestamp":1777322901936,"version":"3.51.4"},"reference-count":44,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T00:00:00Z","timestamp":1667952000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000087","name":"Dalhousie University Faculty of Graduate Studies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000087","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1016\/j.bcra.2022.100115","type":"journal-article","created":{"date-parts":[[2022,11,19]],"date-time":"2022-11-19T02:21:49Z","timestamp":1668824509000},"page":"100115","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":19,"title":["TABS: Transforming automatically BPMN models into blockchain smart contracts"],"prefix":"10.1016","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4121-1942","authenticated-orcid":false,"given":"Peter","family":"Bodorik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian Gang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dawn","family":"Jutla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2022.100115_bib1","series-title":"Service-Oriented and Cloud Computing","first-page":"3","article-title":"On or off the blockchain? Insights on off-chaining computation and data","author":"Eberhardt","year":"2017"},{"key":"10.1016\/j.bcra.2022.100115_bib2","series-title":"Plasma: Scalable Autonomous Smart Contracts","author":"Poon","year":"2017"},{"key":"10.1016\/j.bcra.2022.100115_bib3","series-title":"Proceedings of the 2020 the 2nd International Conference on Blockchain Technology (ICBCT'20)","first-page":"1","article-title":"A\u00a0review on scalability of blockchain","author":"Yang","year":"2020"},{"key":"10.1016\/j.bcra.2022.100115_bib4","series-title":"Shard Chains | Ethereum.Org. ethereum.Org","year":"2021"},{"issue":"2","key":"10.1016\/j.bcra.2022.100115_bib5","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.dcan.2019.01.005","article-title":"A\u00a0systematic literature review of blockchain cyber security","volume":"6","author":"Taylor","year":"2020","journal-title":"Digit. Commun. Netw."},{"key":"10.1016\/j.bcra.2022.100115_bib6","doi-asserted-by":"crossref","first-page":"2901","DOI":"10.1007\/s12083-021-01127-0","article-title":"Blockchain smart contracts: applications, challenges, and future trends","volume":"14","author":"Khan","year":"2021","journal-title":"Peer-to-Peer Netw. Appl."},{"key":"10.1016\/j.bcra.2022.100115_bib7","article-title":"A\u00a0systematic literature review of blockchain and smart contract development: techniques, tools, and open challenges","volume":"174","author":"Vacca","year":"2021","journal-title":"J.\u00a0Syst. Software"},{"issue":"8","key":"10.1016\/j.bcra.2022.100115_bib8","first-page":"168","article-title":"A\u00a0survey on blockchain interoperability: past, present, and future trends","volume":"54","author":"Belchior","year":"2021","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.bcra.2022.100115_bib9","series-title":"Proceedings of the 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW)","first-page":"168","article-title":"What's so different about blockchain? \u2014 Blockchain is a probabilistic state machine","author":"Saito","year":"2016"},{"key":"10.1016\/j.bcra.2022.100115_bib10","doi-asserted-by":"crossref","first-page":"142312","DOI":"10.1109\/ACCESS.2020.3013911","article-title":"Using blockchain to improve collaborative business process management: systematic literature review","volume":"8","author":"Garcia-Garcia","year":"2020","journal-title":"IEEE Access"},{"key":"10.1016\/j.bcra.2022.100115_bib11","article-title":"Literature review linking blockchain and business process management","author":"Lauster","year":"2020","journal-title":"Proc. 15th Int. Conf. Wirtschaftsinformatik..GITO."},{"key":"10.1016\/j.bcra.2022.100115_bib12","series-title":"Proceedings of the 14th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM\u201921 Forum)","first-page":"11","article-title":"Survey of model-driven engineering techniques for blockchain-based applications","author":"Levasseur","year":"2021"},{"issue":"7","key":"10.1016\/j.bcra.2022.100115_bib13","first-page":"148","article-title":"A\u00a0survey of smart contract formal specification and verification","volume":"54","author":"Tolmach","year":"2021","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.bcra.2022.100115_bib14","series-title":"Proceedings of the 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE)","first-page":"9","article-title":"SmartInspect: solidity smart contract inspector","author":"Bragagnolo","year":"2018"},{"issue":"1","key":"10.1016\/j.bcra.2022.100115_bib15","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/3183367","article-title":"Blockchains for business process management - challenges and opportunities","volume":"9","author":"Mendling","year":"2018","journal-title":"ACM Trans. Manag. Inf. Syst."},{"key":"10.1016\/j.bcra.2022.100115_bib16","series-title":"Business Process Management","first-page":"329","article-title":"Untrusted business process monitoring and execution using blockchain","author":"Weber","year":"2016"},{"issue":"7","key":"10.1016\/j.bcra.2022.100115_bib17","doi-asserted-by":"crossref","first-page":"1162","DOI":"10.1002\/spe.2702","article-title":"Caterpillar: a business process execution engine on the Ethereum blockchain","volume":"49","author":"L\u00f3pez-Pintado","year":"2019","journal-title":"Software Pract. Ex."},{"key":"10.1016\/j.bcra.2022.100115_bib18","series-title":"Proceedings of the Dissertation Award and Demonstration, Industrial Track at BPM 2018","first-page":"56","article-title":"A\u00a0model-driven engineering tool for blockchain-based business process execution and asset management","author":"Tran","year":"2018"},{"key":"10.1016\/j.bcra.2022.100115_bib19","series-title":"Advanced Information Systems Engineering","first-page":"399","article-title":"Dynamic role binding in blockchain-based collaborative business processes","author":"L\u00f3pez-Pintado","year":"2019"},{"key":"10.1016\/j.bcra.2022.100115_bib20","doi-asserted-by":"crossref","DOI":"10.1016\/j.is.2020.101622","article-title":"Controlled flexibility in blockchain-based collaborative business processes","volume":"104","author":"L\u00f3pez-Pintado","year":"2022","journal-title":"Inf. Syst."},{"key":"10.1016\/j.bcra.2022.100115_bib21","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s00287-019-01178-x","article-title":"Blockchain support for collaborative business processes","volume":"42","author":"Di Ciccio","year":"2019","journal-title":"Informatik-Spektrum"},{"key":"10.1016\/j.bcra.2022.100115_bib22","doi-asserted-by":"crossref","first-page":"1645","DOI":"10.1007\/s11280-021-00901-7","article-title":"Decentralized collaborative business process execution using blockchain","volume":"24","author":"Loukil","year":"2021","journal-title":"World Wide Web"},{"issue":"5","key":"10.1016\/j.bcra.2022.100115_bib23","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1002\/spe.2931","article-title":"Integrated model-driven engineering of blockchain applications for business processes and asset management","volume":"51","author":"Lu","year":"2021","journal-title":"Software Pract. Ex."},{"key":"10.1016\/j.bcra.2022.100115_bib24","series-title":"Blockchain Based Choreographies: the Construction Industry Case Study. Concurrency and Computation: Practice and Experience","author":"Spalazzi","year":"2021"},{"key":"10.1016\/j.bcra.2022.100115_bib25","series-title":"Financial Cryptography and Data Security","first-page":"523","article-title":"Designing secure Ethereum smart contracts: a finite state machine based approach","author":"Mavridou","year":"2018"},{"key":"10.1016\/j.bcra.2022.100115_bib26","series-title":"Principles of Security and Trust","first-page":"270","article-title":"Tool demonstration: FSolidM for designing secure Ethereum smart contracts","author":"Mavridou","year":"2018"},{"issue":"3","key":"10.1016\/j.bcra.2022.100115_bib27","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"A\u00a0visual formalism for complex systems","volume":"8","author":"Statecharts","year":"1987","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"10.1016\/j.bcra.2022.100115_bib28","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/43.766725","article-title":"Hierarchical finite state machines with multiple concurrency models","volume":"18","author":"Girault","year":"1999","journal-title":"IEEE Trans. Comput. Aided Des. Integrated Circ. Syst."},{"key":"10.1016\/j.bcra.2022.100115_bib29","series-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","first-page":"315","article-title":"Hierarchical state machines","author":"Yannakakis","year":"2000"},{"issue":"8","key":"10.1016\/j.bcra.2022.100115_bib30","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/j.bcra.2022.100115_bib31","series-title":"Discrete Event Systems: Modeling and Performance Analysis","author":"Cassandras","year":"1993"},{"key":"10.1016\/j.bcra.2022.100115_bib32","series-title":"Blockchain Privacy, Scalability, and Separation of Concerns Using Multi-Modal Modeling","author":"Liu","year":"2021"},{"key":"10.1016\/j.bcra.2022.100115_bib60","series-title":"Proceedings of the 2021 International Conference on Engineering and Emerging Technologies (ICEET)","first-page":"1","article-title":"From BPMN to smart contracts on blockchains: transforming BPMN to DE-HSM multi-modal model","author":"Liu","year":"2021"},{"key":"10.1016\/j.bcra.2022.100115_bib33","author":"Dikmans"},{"issue":"12","key":"10.1016\/j.bcra.2022.100115_bib34","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","article-title":"Semantics and analysis of business process models in BPMN","volume":"50","author":"Dijkman","year":"2008","journal-title":"Inf. Software Technol."},{"key":"10.1016\/j.bcra.2022.100115_bib35","author":"Modeler"},{"key":"10.1016\/j.bcra.2022.100115_bib39","series-title":"Proceedings of the 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)","first-page":"1499","article-title":"Blockchain-based, decentralized access control for IPFS","author":"Steichen","year":"2018"},{"key":"10.1016\/j.bcra.2022.100115_bib41","series-title":"FSM for Modeling for Off-Blockchain Computation","author":"Liu","year":"2021"},{"key":"10.1016\/j.bcra.2022.100115_bib42","series-title":"Proceedings of the 2021 the 3rd International Conference on Blockchain Technology (ICBCT \u201921)","first-page":"28","article-title":"Using FSMs to find patterns for off-chain computing: finding patterns for off-chain computing with FSMs","author":"Bodorik","year":"2021"},{"key":"10.1016\/j.bcra.2022.100115_bib43","series-title":"Proceedings of 2021 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure (BSCI\u201921)","first-page":"103","article-title":"A\u00a0tool for moving blockchain computations off-chain","author":"Liu","year":"2021"},{"key":"10.1016\/j.bcra.2022.100115_bib59","author":"Tardi"},{"key":"10.1016\/j.bcra.2022.100115_bib45","series-title":"bpmn.io \u00b7 GitHub","year":"2022"},{"key":"10.1016\/j.bcra.2022.100115_bib57","series-title":"Proceedings of the 2013 IEEE 15th Conference","article-title":"(Re-)Justifying BPM: a quest for the interaction turn reviewing subject-oriented BPM","author":"Fleischmann","year":"2013"},{"key":"10.1016\/j.bcra.2022.100115_bib58","series-title":"Proceedings of the 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","first-page":"262","article-title":"Solving the buyer and seller's dilemma: a dual-deposit escrow smart contract for provably cheat-proof delivery and payment for a digital good without a trusted mediator","author":"Asgaonkar","year":"2019"}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720922000562?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720922000562?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:16:45Z","timestamp":1761869805000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720922000562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["S2096720922000562"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2022.100115","relation":{},"ISSN":["2096-7209"],"issn-type":[{"value":"2096-7209","type":"print"}],"subject":[],"published":{"date-parts":[[2023,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"TABS: Transforming automatically BPMN models into blockchain smart contracts","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2022.100115","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2022 The Author(s). Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100115"}}