Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ahmed, S., Rahman, M.S., Rahaman, M.S., et al.: A blockchain-based architecture for integrated smart parking systems. In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), pp. 177–182. IEEE (2019)
Bhattacharjee, A., Badsha, S., Shahid, A., Livani, H., Sengupta, S.: Block-phasor: a decentralized blockchain framework to enhance security of synchrophasor. In: IEEE Kansas Power and Energy Conference, Manhattan, Kansas, USA (2020)
Bistarellia, S., Mazzanteb, G., Michelettib, M., Mostardab, L., Sestilib, D., Tiezzib, F.: Ethereum smart contracts: analysis and statistics of their source code and opcodes. Internet Things 11, 100198 (2020)
Duo, W., Xin, H., Xiaofeng, M.: Formal analysis of smart contract based on colored petri nets. IEEE Intell. Syst. 35, 19–30 (2020)
Entezari-Maleki, R., Etesami, S.E., Ghorbani, N., Niaki, A.A., Sousa, L., Movaghar, A.: Modeling and evaluation of service composition in commercial multiclouds using timed colored petri nets. IEEE Trans. Syst. Man Cyber. Syst. 50(3), 947–961 (2020)
Kudva, S., Badsha, S., Sengupta, S., Khalil, I., Zomaya, A.: Towards secure and practical consensus for blockchain based vanet. Inf. Sci. (2020). https://doi.org/10.1016/j.ins.2020.07.060
Kudva, S., Norderhaug, R., Badsha, S., Sengupta, S., Kayes, A.: Pebers: practical Ethereum blockchain based efficient ride hailing service. In: IEEE International Conference on Informatics, IoT and Enabling Technologies (2020)
Liu, Z., Liu, J.: Formal verification of blockchain smart contract based on colored petri net models. In: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), vol. 2, pp. 555–560. IEEE (2019)
Maskey, S.R., Badsha, S., Sengupta, S., Khalil, I.: Bits: blockchain based intelligent transportation system with outlier detection for smart city (2020)
Rahman, M.S., Khalil, I., Arachchige, P.C.M., Bouras, A., Yi, X.: A novel architecture for tamper proof electronic health record management system using blockchain wrapper. In: Proceedings of the 2019 ACM International Symposium on Blockchain and Secure Critical Infrastructure, pp. 97–105 (2019)
Ream, J., Chu, Y., Schatsky, D.: Upgrading blockchains: smart contract use cases in industry. Retrieved December 12, 2017 (2016)
Scholl, H.J., Pomeshchikov, R., RodrÃguez BolÃvar, M.P.: Early regulations of distributed ledger technology/blockchain providers: a comparative case study. In: Proceedings of the 53rd Hawaii International Conference on System Sciences (2020)
Swan, M.: Blockchain: Blueprint for a New Economy. O’Reilly Media Inc, Sebastopol (2015)
Tan, W., Fan, Y., Zhou, M., Tian, Z.: Data-driven service composition in enterprise SOA solutions: a petri net approach. IEEE Trans. Autom. Sci. Eng. 7(3), 686–694 (2009)
Tian, F.: An agri-food supply chain traceability system for china based on RFID & blockchain technology. In: 2016 13th International Conference on Service Systems and Service Management (ICSSSM), pp. 1–6. IEEE (2016)
Vakilinia, I., Badsha, S., Arslan, E., Sengupta, S.: Pooling approach for task allocation in the blockchain based decentralized storage network. In: 15th International Conference on Network and Service Management, IEEE (2019)
Yue, X., Wang, H., Jin, D., Li, M., Jiang, W.: Healthcare data gateways: found healthcare intelligence on blockchain with novel privacy risk control. J. Med. Syst. 40(10), 218 (2016). https://doi.org/10.1007/s10916-016-0574-6
Zhang, L., Yao, S.: Using the c-net for formalizing workflow patterns. In: 2010 Second International Conference on Information Technology and Computer Science, pp. 102–105 (2010)
Zupan, N., Kasinathan, P., Cuellar, J., Sauer, M.: Secure smart contract generation based on petri nets. In: Rosa Righi, R., Alberti, A.M., Singh, M. (eds.) Blockchain Technology for Industry 4.0. BT, pp. 73–98. Springer, Singapore (2020). https://doi.org/10.1007/978-981-15-1137-0_4
Acknowledgement
This 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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Rahman, M.S., Khalil, I., Bouras, A. (2020). Formalizing Dynamic Behaviors of Smart Contract Workflow in Smart Healthcare Supply Chain. In: Park, N., Sun, K., Foresti, S., Butler, K., Saxena, N. (eds) Security and Privacy in Communication Networks. SecureComm 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 336. Springer, Cham. https://doi.org/10.1007/978-3-030-63095-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-63095-9_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-63094-2
Online ISBN: 978-3-030-63095-9
eBook Packages: Computer ScienceComputer Science (R0)