Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
Christian Gang Liu

TL;DR
This paper presents a novel method for transforming BPMN models into blockchain smart contracts using DE-HSM modeling, enabling support for complex, nested trade transactions with enhanced privacy and cross-chain interoperability.
Contribution
It introduces a new approach utilizing DE-HSM for identifying and supporting nested trade transactions in BPMN-to-smart contract transformation, including algorithms and a proof of concept.
Findings
Automated transformation of BPMN models into smart contracts is feasible.
The approach supports privacy and cross-chain interoperability.
Validated with three diverse real-world use cases.
Abstract
To alleviate difficulties in writing smart contracts for distributed blockchain applications, as other research, we propose transformation of Business Process Model and Notation (BPMN) models into blockchain smart contracts. Unlike other research, we use Discrete Event Hierarchical State Machine (DE-HSM) multi-modal modeling to identify collaborative trade transactions that need to be supported by the smart contract and describe how the trade transactions, that may be nested, are supported by a transaction mechanism. We describe algorithms to (i) identify the nested trade transactions and to (ii) transform the BPMN model into blockchains smart contracts that include a transaction mechanism to enforce the transactional properties for the identified trade transactions. The developed proof of concept shows that our approach to automated transformation of BPMN models into smart contracts…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Business Process Modeling and Analysis · Big Data and Business Intelligence
