The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Dengan perkembangan teknologi blockchain, penjanaan automatik kontrak pintar telah menjadi topik penyelidikan yang hangat. Teknologi penjanaan automatik kontrak pintar sedia ada masih mempunyai ruang penambahbaikan dalam proses yang kompleks, alat khusus pihak ketiga yang diperlukan, keserasian khusus kod dan persekitaran berjalan. Dalam kertas kerja ini, kami mencadangkan kaedah penjanaan kontrak pintar automatik, yang berorientasikan domain dan berasaskan konfigurasi. Ia direka dan dilaksanakan dengan senario aplikasi perkhidmatan kerajaan. Proses konfigurasi, definisi pangkalan data negeri awam, penjanaan kod dan pengesahan rasmi disertakan. Dalam persekitaran Hyperledger Fabric, kebolehgunaan kod kontrak pintar yang dihasilkan disahkan. Selain itu, kualiti dan keselamatannya disahkan secara rasmi dengan bantuan alat ujian pihak ketiga. Keputusan percubaan menunjukkan bahawa kualiti dan keselamatan kod kontrak pintar yang dijana memenuhi piawaian jangkaan. Penjanaan kontrak pintar automatik akan "secara elegan" digunakan pada kerja anti-pendedahan, perlindungan privasi dan pemprosesan nubuatan dalam perkhidmatan kerajaan. Untuk membolehkan membangunkan "kerajaan boleh atur cara" dengan berkesan.
Yaoyu ZHANG
Hefei University
Jiarui ZHANG
Hefei University
Han ZHANG
China National Software
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.
Salinan
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
Salinan
@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},}
Salinan
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 -