A Recursive Descent Analysis-based Solution for Smart Contract Generation and Management

Abstract

In the field of supply chain, due to the involvement of multiple business entities, incomplete credit mechanism and information asymmetry have been the difficulties in supply chain that need to be solved. With the development and advancement of blockchain technology, the core technology in blockchain - smart contracts - has attracted much attention. The technology automates the execution of contracts on the blockchain in the form of code, allowing trusted transactions to take place without a third party, which are traceable and irreversible. The technology involves collaboration between different fields such as computer science and laws, but most traditional professionals lack programming skills, resulting in the current application of smart contracts can not meet cross-industry demand. This paper propose a method to generate smart contracts automatically. Users can model the contract by OWL(Web Ontology Language) and write SWRL(Semantic Web Rule Language) semantic rules to describe contract. Then use recursive descent analysis to implement a LL(1) syntax parser that recognises SWRL and generates the corresponding smart contract code based on the semantic rules of SWRL. The contract management module allows users to generate, install and manage smart contracts directly from the front-end page, which lowers the threshold for users to manage the blockchain network. We validate the usability of the contract generation and management module using the compliance inspection of RMC (ready-mixed concrete), which is based on HyperLedger Fabric. The system can generate smart contract code that corresponds logically to the quality specification.