[PDF][PDF] Automated Mechanism to Support Trade Transactions in Smart Contracts

C Liu, P Bodorik, D Jutla - Manuscript submitted for publication] …, 2024 - blockchain.cs.dal.ca
Research on blockchains addresses challenges in developing smart contracts, especially
for applications involving multiple actors and complex processes. Blockchain's constraints …

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

CG Liu - 2024 - dalspace.library.dal.ca
To alleviate difficulties in writing smart contracts for distributed blockchain applications, as
other research, we propose transformation of Business Process Model and Notation (BPMN) …

Transforming Automatically BPMN Models to Smart Contracts with Nested Trade Transactions (TABS+)

C Liu, P Bodorik, D Jutla - Distributed Ledger Technologies: Research …, 2024 - dl.acm.org
Development of blockchain smart contracts is more difficult than mainstream software
development because the underlying blockchain infrastructure poses additional complexity …