IEICE TRANSACTIONS on Information
The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services
Summary :
With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.
- Publication
- IEICE TRANSACTIONS on Information Vol.E105-D No.12 pp.2066-2074
- Publication Date
- 2022/12/01
- Publicized
- 2022/08/24
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.2022EDP7016
- Type of Manuscript
- PAPER
- Category
- Software System
Authors
Yaoyu ZHANG
Hefei University
Jiarui ZHANG
Hefei University
Han ZHANG
China National Software
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yaoyu ZHANG, Jiarui ZHANG, Han ZHANG, "The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services" in IEICE TRANSACTIONS on Information,
vol. E105-D, no. 12, pp. 2066-2074, December 2022, doi: 10.1587/transinf.2022EDP7016.
Abstract: With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2022EDP7016/_p
Copy
@ARTICLE{e105-d_12_2066,
author={Yaoyu ZHANG, Jiarui ZHANG, Han ZHANG, },
journal={IEICE TRANSACTIONS on Information},
title={The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services},
year={2022},
volume={E105-D},
number={12},
pages={2066-2074},
abstract={With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.},
keywords={},
doi={10.1587/transinf.2022EDP7016},
ISSN={1745-1361},
month={December},}
Copy
TY - JOUR
TI - The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services
T2 - IEICE TRANSACTIONS on Information
SP - 2066
EP - 2074
AU - Yaoyu ZHANG
AU - Jiarui ZHANG
AU - Han ZHANG
PY - 2022
DO - 10.1587/transinf.2022EDP7016
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E105-D
IS - 12
JA - IEICE TRANSACTIONS on Information
Y1 - December 2022
AB - With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.
ER -
English
