Show simple item record

AuthorRahman, Mohammad Saidur
AuthorKhalil, Ibrahim
AuthorBouras, Abdelaziz
Available date2023-04-09T08:34:50Z
Publication Date2021
Publication NameProceedings of the Annual Hawaii International Conference on System Sciences
ResourceScopus
URIhttp://dx.doi.org/10.24251/HICSS.2021.675
URIhttp://hdl.handle.net/10576/41751
AbstractWe propose a smart contract workflow verification framework for blockchain-based supply chain management systems. The proposed framework introduces a Petri-Net-based formalism to model smart contract workflow in a supply-chain context. Smart contracts are deployed in the blockchain nodes and executed automatically if a predefined condition is met. As deployment and execution of smart contracts require payment, it is necessary to ensure smart contract logic before the deployment to avoid unnecessary execution costs. Multiple business rules should be followed in a predefined order and criteria to complete a complex supply chain process. Therefore, a set of smart contracts representing digital business rules should also be executed in a predefined order and criteria. To verify the soundness of smart contract-based blockchain systems, the modeling of smart contract execution is required. The proposed Petri-Net model for smart contracts ensures smart contract workflow correctness before execution in a blockchain-based system. We conduct multiple experiments to evaluate the performance of our proposed framework. 2021 IEEE Computer Society. All rights reserved.
SponsorThis work is part of the NPRP11S-1227-170135 project. The authors would like to express their gratitude to the QNRF (Qatar Foundation) for its support and funding for the project activities.
Languageen
PublisherIEEE Computer Society
SubjectBlockchain Cases and Innovations
blockchain
petri-net formalism
smart contract
smart contract workflow soundness
supply chain
TitleA framework for modelling blockchain based supply chain management system to ensure soundness of smart contract workflow
TypeConference Paper
Pagination5547-5556
Volume Number2020-January
dc.accessType Abstract Only


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record