Formalizing dynamic behaviors of smart contract workflow in smart healthcare supply chain
المؤلف | Rahman, Mohammad Saidur |
المؤلف | Khalil, Ibrahim |
المؤلف | Bouras, Abdelaziz |
تاريخ الإتاحة | 2023-04-09T08:34:50Z |
تاريخ النشر | 2020 |
اسم المنشور | Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST |
المصدر | Scopus |
الملخص | We 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. |
راعي المشروع | authors would like to express their gratitude to the QNRF (Qatar Foundation) for its support and funding for the project activities. |
اللغة | en |
الناشر | Springer Science and Business Media Deutschland GmbH |
الموضوع | 12 healthcare supply chain Blockchain Colored petri-net Formal model Smart contract |
النوع | Conference Paper |
الصفحات | 391-402 |
رقم المجلد | 336 |
الملفات في هذه التسجيلة
الملفات | الحجم | الصيغة | العرض |
---|---|---|---|
لا توجد ملفات لها صلة بهذه التسجيلة. |
هذه التسجيلة تظهر في المجموعات التالية
-
علوم وهندسة الحاسب [2284 items ]