Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
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 with the support of privacy and cross-chain interoperability is feasible. The thesis examines and evaluates automatically generated alternative transaction mechanisms to support such transactions using three use cases of varying degree of complexity, namely order processing, supply chain management, and a multi-faceted trade use case. The research enriches the academic dialogue on blockchain technology and smart contracts and proposes potential avenues for future research.
Subject
- Smart Contracts
- Business Process Model and Notation (BPMN)
- Long-term Transactions
- Supporting Transactions
- BPMN Models
- Blockchain Technology
- Distributed Ledger
- Transaction Management
- Decentralized Systems
- Ethereum Platform
- Blockchain Integration
- Process Automation
- Smart Contract Applications
- Smart Contract Optimization
- Blockchain-Based Transactions
Collections
Related items
Showing items related by title, author, creator and subject.
-
Development of Integrated Urban System Models: Population Life-transitions, Household location, and Vehicle Transaction Decisions
Fatmi, Mahmudur Rahman (2017-12-01)This research presents the development of a life-oriented, agent-based integrated transport land use and energy (iTLE) model. A life-oriented theory and perspective is adopted to accommodate life-trajectory dynamics of key ... -
Longitudinal Modelling of Households’ Vehicle Transaction and Type Choice Decisions
Khan, Nazmul Arefin (2015)Longitudinal modelling of vehicle ownership is limited in the literature of ownership models. Temporal variation of households’ long-term vehicle ownership decisions can be modelled by considering longitudinal information ... -
BLN: A LAYER-2 Framework for Fast Bitcoin Transaction Processing
Wang, Yahu (2023-04-11)Lightning Network (LN) is a layer-2 protocol that enables fast Bitcoin transaction processing. However, it only works well for peer-to-peer micropayments, namely, small amount payments between individual parties. In this ...