合同文本置标语言CTML：一种面向智能法律合约的法律信息规范化提取方法

摘要

智能合约在法律层面的关注度不断提高，如何将现实法律合同转化为智能合约程序，保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此，从合约模板化和语义规范化的角度出发，提出一种合同文本置标语言（CTML），通过对合同中语法、结构、词汇的内容进行标注，实现合同要素的提取与转化.首先，构建合同元模型并建立“要素-属性-成分”的三层语义结构与数源标记语法规则，基于元模型设计面向合同文本的置标语言语法规则，通过CTML完成法律信息规范化提取，形成标注合同；其次，通过递归抽象语法树（AST）并建立映射关系，设计由标注合同到智能法律合约的转换规则，完善法律合同到智能合约可执行代码的转化链条.进而，以保理合同为例，演示了合同文本置标语言的语义提取和代码生成的实际效果，为普通法律合同转化成为智能合约提供了一种技术方法.

关键词

法律信息学 / 智能法律合约 / 置标语言 / 面向领域语言 / 代码生成

基金资助

中央高校基本科研业务费专项资金资助项目（06116186）