Abstract
Smart contracts are one of the core components of the block-chain system and have been widely used across various fields. Since a smart contract cannot be easily changed or updated once instantiated, one has to be absolutely sure that the program code works as expected. However, there are no uniform definitions for smart contracts, and the programming of smart contracts requires professional developers with expert domain knowledge. This paper proposed a formal modeling method for start contracts. First, the formal definition of smart contracts is proposed. Second, we introduce an EFSM based modeling method for smart contracts. Finally, we design a visual modeling tool EFSMSolid for creating EFSM on an easy-to-use graphical platform. To verify the effectiveness of the method, we conduct experiments on smart contracts of five blockchain applications, and the experimental results show that the proposed method can automatically and effectively create smart contracts models.
The National Natural Science Foundation of China under Grant No. 62077003 supports the work described in this paper.
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
References
https://www.mckinsey.com/industries/financial-services/ourinsights/blockchain-in-insurance-opportunity-or-threat, Accessed 10 Apr 2021
https://www.8btc.com/media/326359, Accessed 10 Apr 2021
CAI Weide.: Reconstruction of Social Contract. Law Press (2020)
Sayeed, S., Marco-Gisbert, H., Caira, T.: Smart contract: attacks and protections. IEEE Access 6, 24416–24427 (2020)
Wang, P.W., Yang, H.T., Meng, J., Chen, J.C., Du, X.Y.: Formal definition for classical smart contracts and a reference implementation. Ruan Jian Xue Bao/J. Softw. 30, 2608–2619 (2019)
Ellul, J., Pace, G.J.: Runtime verification of ethereum smart contracts. In: 2018 14th European Dependable Computing Conference (EDCC), Iasi, Romania, pp. 158–163 (2018). https://doi.org/10.1109/EDCC.2018.00036
Mavridou, A., Laszka, A.: Designing secure ethereum smart contracts: a finite state machine based approach. In: Financial Cryptography and Data Security - 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, 26 February–2 March 2018 (2018)
Mavridou, A., Laszka, A., Stachtiari, E., Dubey, A.: VeriSolid: correct-by-design smart contracts for ethereum. In: Goldberg, I., Moore, T. (eds.) FC 2019. LNCS, vol. 11598, pp. 446–465. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-32101-7_27
Hu, K., Bai, X.M., Gao, L.C., Dong, A.Q.: Formal verification method of smart contract. J. Inf. Secur. Res., 1080–1089 (2016)
Zhao, R., Gou, X., Wang, W., Shang, Y.: Client-side EFSM test case generation based on the server-side sensitive path coverage for web applications. J. Harbin Eng. Univ., 884–891 (2019)
Mavridou, A., Laszka, A.: Designing secure ethereum smart contracts: a finite state machine based approach. In: Meiklejohn, S., Sako, K. (eds.) FC 2018. LNCS, vol. 10957, pp. 523–540. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-662-58387-6_28
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Meng, J., Li, Z., Zhao, R., Shang, Y. (2021). An Automated Modeling Method and Visualization Implementation of Smart Contracts. In: Dai, HN., Liu, X., Luo, D.X., Xiao, J., Chen, X. (eds) Blockchain and Trustworthy Systems. BlockSys 2021. Communications in Computer and Information Science, vol 1490. Springer, Singapore. https://doi.org/10.1007/978-981-16-7993-3_30
Download citation
DOI: https://doi.org/10.1007/978-981-16-7993-3_30
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-16-7992-6
Online ISBN: 978-981-16-7993-3
eBook Packages: Computer ScienceComputer Science (R0)