智能法律合约：面向合约的软件开发语言、技术及应用

　　《智能法律合约——面向合约的软件开发语言、技术及应用》以智能法律合约为出发点，以面向合约的软件开发为主线，涵盖了智能法律合约法律化辨析、程序语言设计方法、程序编译和生成方法、基于“邀约-承诺”合约订立的程序部署方法、基于数字资产与权属交易的金融智能法律合约开发、以及基于微服务构架的合约化服务平台构建等内容。本书作为一本介绍智能法律合约的学术专著，取材新颖、阐述严谨、内容丰富、重点突出，可以很好地帮助关心该学术方向的学者们了解智能法律合约的研究进展及未来发展方向，其中示例也能帮助此方向学者进行可落地示例化研究。

　　朱岩，北京科技大学教授、博士生导师。曾就职和服务于北京大学、美国亚利桑那州立大学和美国密西根大学。研究领域包括：信息安全、密码学、随机算法等，重点研究面向金融服务的区块链与智能法律合约理论与技术、政务大数据安全与处理等领域，并在代码法律化、零信任安全架构等方面取得创新型成果。曾先后主持或参加近20项国家重点研发计划、国家自然科学基金、国家863/973计划、国家发改委、国家密码发展基金、北京市经信委等科研课题。目前已在国内外会议与期刊上发表SCI/EI检索论文100余篇，Google学术他引超过3000次，已申请和授权中国和美国及国际专利20余项。受聘北京市通信保障和信息安全应急专家、中国电子学会区块链专委会副主任、中国密码学会安全协议专业委员会会员等职务。

第1章  绪论 1
1.1  智能合约  1
1.1.1  智能合约概念 1
1.1.2  智能合约工程 4
1.2  区块链智能合约框架 6
1.2.1  智能合约工程软件架构  8
1.2.2  支持灵活服务应用程序开发的智能合约语言 10
1.2.3  智能合约安全部署与隐私  12
1.2.4  智能合约的可信执行 13
1.3  本书内容安排  14
1.4  小结  15
参考文献  16
第2章  智能法律合约概念辨析 18
2.1  引言  18
2.2  智能合约概念  19
2.3  智能法律合约  20
2.3.1  智能法律合约定义及内涵  20
2.3.2  智能合约语言发展现状  21
2.3.3  智能法律合约与法律合同的关系和区别  22
2.4  智能合约的法律化探索与实践  23
2.4.1  智能合约的法律化思考  23
2.4.2  智能合约的法律化探索  26
2.5  智能合约系统架构及法律化辨析 29
2.5.1  智能合约架构描述  29
2.5.2  智能合约的区块链部署  29
2.5.3  合约代码运行  30
2.5.4  区块链所部署智能合约法律化辨析  31
2.6  智能法律合约研究进展 34
2.6.1  合约逻辑模型研究  34
2.6.2  智能法律合约语言模型研究 35
2.6.3  智能合约与监管. 37
2.7  小结  38
参考文献  39
第3章  智能法律合约语言 42
3.1  引言  42
3.1.1  面临的挑战 43
3.1.2  解决挑战的思路. 44
3.1.3  本章组织及内容. 45
3.2  相关研究背景  46
3.2.1 区块链与智能合约  46
3.2.2  领域特定语言  46
3.2.3  Xtext 48
3.3  智能法律合约语言SPESC 语法规范  48
3.3.1  一般结构  49
3.3.2  当事人和条款  50
3.3.3  条款表达式 52
3.3.4  表达式  53
3.3.5  时间表达式 54
3.3.6  交易 56
3.4  从SPESC 中派生程序框架. 57
3.5  案例研究  59
3.5.1  案例设计  60
3.5.2  结果 62
3.5.3  RQs 的回答. 64
3.6  相关工作  66
3.7  小结  67
参考文献  67
第4章  智能法律合约编译方法 70
4.1  引言  70
4.1.1  研究动机  71
4.1.2  相关工作  71
4.1.3  本章主要工作  71
4.2  相关工作  72
4.3  系统框架  74
4.3.1  系统目标  74
4.3.2  智能合约编写框架  74
4.4  SPESC 介绍  76
4.5  竞买合约  78
4.6  SPESC 编写竞买合约  79
4.7  目标代码生成  84
4.7.1  目标语言合约框架  84
4.7.2  当事人合约的生成  84
4.7.3  主体合约生成  89
4.7.4  表达式实现 92
4.8  实验及结果 93
4.9  小结  96
参考文献  96
第5章  智能法律合约订立方法 99
5.1  引言  99
5.2  相关工作 100
5.3  预备知识 102
5.4  系统框架 103
5.4.1  系统目标  103
5.4.2  合约模板化 103
5.4.3  智能合约订立框架 104
5.5  解决方案 105
5.5.1  智能合约建立  106
5.5.2  智能合约部署  106
5.5.3  智能合约订立  108
5.5.4  智能合约存证  108
5.6  智能法律合约的订立方案 109
5.6.1  智能法律合约语言 109
5.6.2  智能法律合约中订立语法  110
5.6.3  智能法律合约示例 111
5.7  转化后智能合约订立方案 113
5.7.1  合约订立流程  113
5.7.2  智能合约中代码实现  114
5.8  合约实例 116
5.9  方案合规性辩析 . 119
5.10  小结 121
参考文献 . 121
第6章  合约化资产与权属交易  124
6.1  引言  124
6.1.1  研究现状  126
6.1.2  研究目标  127
6.2  面向资产的TA-SPESC 设计  128
6.2.1  一般结构  128
6.2.2  TA-SPESC 模型及其形式化定义  129
6.2.3  TA-SPESC 模型中的资产分类 131
6.2.4  TA-SPESC 模型中的权利分类 132
6.2.5  TA-SPESC 模型中的资产定义 133
6.2.6  TA-SPESC 模型中的资产交易 136
6.3  房屋租赁合约 138
6.3.1  个人房屋租赁智能合约案例 139
6.3.2  TA-SPESC 编写个人房屋租赁合约 139
6.3.3  资产模型向Solidity 的半自动生成 144
6.3.4  代码生成示例  148
6.4  个人房屋租赁合约的部署运行 150
6.4.1  编译环境  150
6.4.2  合约测试  150
6.4.3  实验结果与分析  151
6.5  小结  153
参考文献 . 153
第7章  现用现付的智能服务合约 155
7.1  引言  155
7.1.1  研究动机  155
7.1.2  研究路线  156
7.2  相关工作 157
7.3  系统框架 158
7.3.1  系统目标  158
7.3.2  系统架构  159
7.3.3  系统实体关系  159
7.4  服务注册与发布 . 160
7.4.1  合约当事人声明  161
7.4.2  服务注册交互与状态转移  162
7.4.3  服务接口合约化  165
7.4.4  服务注册发布合约条款. 165
7.5  服务发现与消费 . 166
7.5.1  服务发现  166
7.5.2  服务发现合约条款 167
7.5.3  服务消费的请求绑定  168
7.5.4  服务消费自定义合约条款  168
7.5.5  合约化服务的法律角度思考 170
7.6  基于智能合约的天气服务案例研究 170
7.6.1  合约描述  170
7.6.2  合约化天气预报服务流程  171
7.7  实验  172
7.7.1  实验方案  172
7.7.2  实验验证  173
7.8  小结  174
参考文献 . 175
第8章  智能法律合约语言 177
8.1  引言  177
8.2  符号和关键词 178
8.2.1  符号  178
8.2.2  关键词. 178
8.3  表示形式 179
8.4  构成要素 180
8.5  要素的表述  181
8.5.1  合约框架  181
8.5.2  合约名称  181
8.5.3  当事人描述 182
8.5.4  标的  182
8.5.5  合约条款  183
8.5.6  权利和义务 185
8.5.7  资产操作  186
8.5.8  表达式符号 187
8.5.9  时间表示  188
8.5.10  附加信息 189
8.5.11  合约订立 190
8.6  智能法律合约及智能合约示例 191
8.6.1  智能法律合约示例1 191
8.6.2  智能法律合约示例2 193
8.6.3  智能合约示例  197
参考文献 . 200
第9章  合同文本置标语言 201
9.1  引言  201
9.2  缩略语  202
9.3  符号和关键词 202
9.3.1  标注符号  202
9.3.2  关键词. 203
9.4  拼写规则 204
9.5  CTML 置标体系  204
9.5.1  原则  204
9.5.2  CTML 记法  204
9.5.3  CTML 使用流程  206
9.5.4  CTML 合同类别  206
9.5.5  CTML 置标要求  207
9.6  层级标注结构 207
9.6.1  概述  207
9.6.2  法律要素标注  207
9.6.3  法律属性标注  208
9.6.4  法律成分标注  209
9.6.5  域标注. 210
9.7  要素构成 210
9.8  要素表述 212
9.8.1  合约框架  212
9.8.2  合同标题  212
9.8.3  当事人. 213
9.8.4  标的  214
9.8.5  合约条款  216
9.8.6  资产操作  220
9.8.7  资产表达式 222
9.8.8  时间表达式 223
9.8.9  附加信息  227
9.8.10  合约订立 227
9.9  法律文本合同及标注后CTML 合同示例  229
9.9.1  法律文本合同  229
9.9.2  标注后CTML 合同 230
9.10  EMD 的交互数据属性与示例 233
9.10.1  EMD 的交互数据属性  233
9.10.2  EMD 示例  234
9.11  CTML 到SLCL 转化关系表 234
参考文献  241
附录书中使用的术语及定义 . 242