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

第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