Show simple item record

AuthorRahman, Mohammad Saidur
AuthorKhalil, Ibrahim
AuthorBouras, Abdelaziz
Available date2023-04-09T08:34:50Z
Publication Date2020
Publication NameLecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
ResourceScopus
URIhttp://dx.doi.org/10.1007/978-3-030-63095-9_25
URIhttp://hdl.handle.net/10576/41752
AbstractWe present a formal model for smart contract workflow using Colored Petri-Net in the context of a blockchain-based healthcare supply chain in this paper. Ensuring traceability of products is a crucial issue in a smart healthcare supply chain. Blockchain and smart contracts are two enabling technologies that ensure the traceability of products and prevent data tampering in the smart healthcare supply chain. In a blockchain-based supply chain, a workflow of smart contracts needs to created and executed based on the input data. The selection of smart contracts in the workflow is data-driven and dynamic. Hence, it is necessary to verify the correctness of the dynamic execution of smart contracts. In this paper, we develop a Colored Petri-Net based formalism to verify the correctness of dynamic behaviors of the smart contract workflow. We conduct experiments to evaluate the performance of our proposed model. ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2020.
Sponsorauthors would like to express their gratitude to the QNRF (Qatar Foundation) for its support and funding for the project activities.
Languageen
PublisherSpringer Science and Business Media Deutschland GmbH
Subject12 healthcare supply chain
Blockchain
Colored petri-net
Formal model
Smart contract
TitleFormalizing dynamic behaviors of smart contract workflow in smart healthcare supply chain
TypeConference Paper
Pagination391-402
Volume Number336
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