OR-SPESC: Design of an Advanced Smart Contract Language for Data Ownership

Owing to the open and sharing characteristics, blockchain can be applied for data ownership management in data circulation. The smart contract, as a kernel technique of blockchain, is a program code that can automatically execute the business process of the scene. Smart contracts require programmers with professional coding ability in contract design and implementation. Hence, it is necessary to design an auxiliary tool for non-coding personnel to write smart contracts and manage data ownership as well. To cope with this problem, this paper proposes an advanced smart contract language OR-SPESC for data ownership. OR-SPESC is a contract language similar to natural language including five parts of parties, data assets, deeds, terms, and contract properties. It can select the appropriate function meta-language for a specific scenario to complete the scenario business. Firstly, OR-SPESC makes a formal definition of deed, which describes the ownership between parties and data assets. This paper also proposes three operations on data ownership including creation, destruction, and transfer. Then, taking the trade scenario as an example, the design of OR-SPESC contract rules. Finally, the experiments implement the tracking of OR-SPESC contract conversion and the analysis and verification of the conversion rate (CR) and product rate (PR) of OR-SPESC contract conversion. The research illustrates the effectiveness of OR-SPESC contract design and the efficiency of contract conversion.