SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-Based Auction Services

【Author】 Chen, E.; Qin, Bohan; Zhu, Yan; Song, Weijing; Wang, Shengdian; Chu, Cheng-Chung William; Yau, Stephen S.

【Source】IEEE TRANSACTIONS ON SERVICES COMPUTING

【影响因子】11.019

【Abstract】In recent years, advanced smart contract languages (ASCLs) have been proposed to solve the problem of difficult reading, comprehension, and collaboration when writing smart legal contracts among people in different fields. However, this kind of languages are still hard to put into practice due to the lack of an effective conversion method from the ASCLs to executable smart contract programs. Aiming at this problem, we take SPESC as example to explore how to design conversion rules from the contract in it to the target programming language in Solidity, and to propose a three-layer smart contract framework, including advanced smart-contract layer, general smart-contract layer, and executable machine-code layer. These rules provide an approach to convert the definition of SPESC contracting parties into party-contracts on target language, as well as to produce SPESC contract terms into main-contract on target language. Moreover, the proposed framework specifies not only program architecture and storage structure on general smart-contract layer, but also important mechanisms, including personnel management, timing control, exception handling, etc., which can assist programmers to write smart contract programs. Furthermore, taking four SPESC contracts as testing objects, we provide the whole process of converting from SPESC contracts to Solidity programs by the SPESC-Translator, and verify the efficiency and security of the conversion process, including coding, deploying, running, and testing through Ethereum. The instance results show that the conversion rules and the three-layer framework can simplify the writing of smart contracts, standardize the program structure, and help programmers to verify the correctness of the contract programs.

【Keywords】Smart contracts; Blockchain; Law; Unified modeling language; Syntactics; Programming; Natural languages; Smart contract; blockchain; advanced smart contract languages; smart legal contract; SPESC; automated generation

【发表时间】2022 SEPT 1

【收录时间】2022-10-26

【文献类型】理论模型

【主题类别】

区块链技术-核心技术-智能合约