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

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

Review on conformance between legal contract and smart contract

免费全文下载 (已被下载 次)  
获取PDF全文
作者 孟博,刘琴,王德军,王潇潇,郑绪睿
机构 中南民族大学 计算机科学学院
统计 摘要被查看 次,已被下载
摘要 智能合约是区块链的核心组成部分。随着区块链技术的不断发展,智能合约的法律问题也引起越来越多的关注,法律合约与智能合约的一致性是智能合约的关键属性。从计算机科学的角度,对法律合约与智能合约的一致性研究现状进行了总结和分析。首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段,对法律合约和智能合约的一致性内涵进行了分析和讨论;然后,分别基于形式化模型和合约模板,总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,归纳总结全文,对未来法律合约与智能合约的一致性研究方向进行了展望。
关键词 形式化模型;合约模板;特定领域;通用领域;代码生成
基金项目 湖北省自然科学基金资助项目(2018ADC150)
中央高校基本科研业务费专项基金资助项目(CZT20013,QSZ17007)
本文URL http://www.arocmag.com/article/02-2021-02-002.html
收稿日期
修回日期
页码 -
中图分类号 TP391
文献标志码