《表1 法律合约描述语言分析》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

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

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

对于法律合约与智能合约的一致性研究而言，法律合约的语言研究是基础。表1从语言的领域、功能特点、表达能力和局限性等方面总结了主要的法律合约描述语言，并进行了分析和比较。由表1可知，法律合约描述语言发展已经比较成熟，目前已有多个面向通过领域或者特定领域的法律合约描述语言，由于智能合约是一种计算机程序，对合约条款的执行本质是程序代码的执行，程序代码的执行过程代表了法律条款的执行过程，所以，对于描述法律逻辑规则上表达能力较强的法律合约语言，如DFA、BPMN、FCL、MPEG-22 CEL和相关本体等可描述法律合约逻辑的语言，更适合分析和验证其与智能合约的一致性。