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

E. Chen, Bohan Qin, Yan Zhu, Weijing Song, Shengdian Wang, William Cheng Chung Chu, Stephen S. Yau

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


This paper focus on the problem that advanced smart contract language (ASCL) are hard to put into practice due to the lack of an effective conversion method from ASCL contract 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. 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 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 proposed rules can simplify the writing of smart contracts, standardize program structure, and help programmers to verify the correctness of contract programs.

Original languageEnglish (US)
JournalIEEE Transactions on Services Computing
StateAccepted/In press - 2021


  • Blockchain
  • Law
  • Natural languages
  • Programming
  • Smart contracts
  • Syntactics
  • Unified modeling language

ASJC Scopus subject areas

  • Hardware and Architecture
  • Computer Science Applications
  • Computer Networks and Communications
  • Information Systems and Management


Dive into the research topics of 'SPESC-Translator: Towards Automatically Smart Legal Contract Conversion for Blockchain-based Auction Services'. Together they form a unique fingerprint.

Cite this