《计算机应用研究》|Application Research of Computers

法律合约与智能合约一致性综述

Review on conformance between legal contract and smart contract

免费全文下载 (已被下载 次)  
获取PDF全文
作者 刘琴,王德军,王潇潇,郑绪睿,孟博
机构 中南民族大学 计算机科学学院,武汉 470074
统计 摘要被查看 次,已被下载
文章编号 1001-3695(2021)01-001-0001-08
DOI 10.19734/j.issn.1001-3695.2019.12.0652
摘要 从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论;分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,对未来法律合约与智能合约的一致性研究进行了总结和展望。
关键词 形式化模型; 智能合约; 合约模板; 特定领域; 代码生成
基金项目 湖北省自然科学基金资助项目(2018ADC150)
中央高校基本科研业务费专项基金资助项目(CZT20013,QSZ17007)
本文URL http://www.arocmag.com/article/01-2021-01-001.html
英文标题 Review on conformance between legal contract and smart contract
作者英文名 Liu Qin, Wang Dejun, Wang Xiaoxiao, Zheng Xurui, Meng Bo
机构英文名 College of Computer Science,South-Central University for Nationalities,Wuhan 470074,China
英文摘要 From the view of computer science, this paper summarized and analyzed the up-to-date development of the conformance between smart contract and legal contract. Firstly, it classified and summarized the language of legal contract and smart contract respectively, and presented the advantages and disadvantages of each language. Secondly, it analyzed and discussed the conformance connotation of legal contract and smart contract according to the three development stages of contract automatic exection. Then, it summarized the main research methods of generating smart contract code from legal contracts based on formal model and contract template, and analyzed their conformance. Finally, this paper summarized and prospected the conformance between legal contract and smart contract.
英文关键词 formal model; smart contract; contract template; specific field; code generation
参考文献 查看稿件参考文献
 
收稿日期 2019/12/9
修回日期 2020/1/24
页码 1-8
中图分类号 TP393
文献标志码 A