2019 AutomaticSmartContractGeneratio
- (Tateishi et al., 2019) ⇒ Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato, and Shin Saito. (2019). “Automatic Smart Contract Generation Using Controlled Natural Language and Template.” In: IBM Journal of Research and Development, 63(2/3). doi:10.1147/JRD.2019.2900643
Subject Headings: Smart Contract.
Notes
Cited By
Quotes
Abstract
Smart contracts, which are widely recognized as key components of blockchain technology, enable automatic execution of agreements. Since each smart contract is a computer program that autonomously runs on a blockchain platform, their development requires much effort and care compared with the development of more common programs. In this paper, we propose a technique to automatically generate a smart contract from a human-understandable contract document that is created using a document template and a controlled natural language (CNL). The automation is based on a mapping from the document template and the CNL to a formal model that can define the terms and conditions in a contract including temporal constraints and procedures. The formal model is then translated into an executable smart contract. We implemented a toolchain that generates smart contracts of Hyperledger Fabric from template-based contract documents via a formal model. We then evaluated the feasibility of our approach through case studies of two types of real-world contracts in different domains.
1 - Introduction
Smart contracts are computer programs that run on blockchain platforms and execute a variety of commercial agreements such as financial contracts and purchase agreements. From the engineering perspective, the terms and conditions of each legal contract are equivalent to the software requirements that the program should satisfy. Therefore, engineers who work on a smart contract must understand the contents of the contract and communicate with a business person to elicit and clearly define the software requirements. This task is often error-prone and requires much effort to verify the requirements. There have been many studies on formal models of legal contracts [1] for the sake of verifying the semantic aspect of such contracts. However, it is still difficult to guarantee that the formal models accurately represent the contracts, as the formal models are difficult for business persons or attorneys to understand. In order to mitigate the efforts and the risks of smart contract development, we propose a method for automatically generating smart contracts from legal contract documents.
...
2 - Our approach
3 - Generation of smart contract
4 - Implementation
5 - Experiments
6 - Related work
7 - Conclusion
References
;
| Author | volume | Date Value | title | type | journal | titleUrl | doi | note | year | |
|---|---|---|---|---|---|---|---|---|---|---|
| 2019 AutomaticSmartContractGeneratio | Takaaki Tateishi Sachiko Yoshihama Naoto Sato Shin Saito | Automatic Smart Contract Generation Using Controlled Natural Language and Template | 10.1147/JRD.2019.2900643 | 2019 |