计算机应用研究

作者：刘琴,王德军,王潇潇,郑绪睿,孟博,

单位：中南民族大学计算机科学学院,武汉470074；

关键词：形式化模型,智能合约,合约模板,特定领域,代码生成,

基金：湖北省自然科学基金资助项目(2018ADC150)；中央高校基本科研业务费专项基金资助项目(CZT20013,QSZ17007)；；

从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析。首先，分别对法律合约描述语言和智能合约开发语言进行了分类和分析，总结了每种语言的特点；其次，根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论；分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术，并对其进行了讨论和评价；最后，对未来法律合约与智能合约的一致性研究进行了总结和展望。

来源：2021年第1期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2021年第1期