智能法律合約：面向合約的軟件開(kāi)發(fā)語(yǔ)言、技術(shù)及應(yīng)用

定　價(jià)：￥89.00

作　者：	朱巖、王迪
出版社：	清華大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

ISBN：	9787302607205	出版時(shí)間：	2022-09-01	包裝：	平裝-膠訂
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《智能法律合約——面向合約的軟件開(kāi)發(fā)語(yǔ)言、技術(shù)及應(yīng)用》以智能法律合約為出發(fā)點(diǎn)，以面向合約的軟件開(kāi)發(fā)為主線，涵蓋了智能法律合約法律化辨析、程序語(yǔ)言設(shè)計(jì)方法、程序編譯和生成方法、基于“邀約-承諾”合約訂立的程序部署方法、基于數(shù)字資產(chǎn)與權(quán)屬交易的金融智能法律合約開(kāi)發(fā)、以及基于微服務(wù)構(gòu)架的合約化服務(wù)平臺(tái)構(gòu)建等內(nèi)容。本書(shū)作為一本介紹智能法律合約的學(xué)術(shù)專著，取材新穎、闡述嚴(yán)謹(jǐn)、內(nèi)容豐富、重點(diǎn)突出，可以很好地幫助關(guān)心該學(xué)術(shù)方向的學(xué)者們了解智能法律合約的研究進(jìn)展及未來(lái)發(fā)展方向，其中示例也能幫助此方向?qū)W者進(jìn)行可落地示例化研究。

作者簡(jiǎn)介

　　朱巖，北京科技大學(xué)教授、博士生導(dǎo)師。曾就職和服務(wù)于北京大學(xué)、美國(guó)亞利桑那州立大學(xué)和美國(guó)密西根大學(xué)。研究領(lǐng)域包括：信息安全、密碼學(xué)、隨機(jī)算法等，重點(diǎn)研究面向金融服務(wù)的區(qū)塊鏈與智能法律合約理論與技術(shù)、政務(wù)大數(shù)據(jù)安全與處理等領(lǐng)域，并在代碼法律化、零信任安全架構(gòu)等方面取得創(chuàng)新型成果。曾先后主持或參加近20項(xiàng)國(guó)家重點(diǎn)研發(fā)計(jì)劃、國(guó)家自然科學(xué)基金、國(guó)家863/973計(jì)劃、國(guó)家發(fā)改委、國(guó)家密碼發(fā)展基金、北京市經(jīng)信委等科研課題。目前已在國(guó)內(nèi)外會(huì)議與期刊上發(fā)表SCI/EI檢索論文100余篇，Google學(xué)術(shù)他引超過(guò)3000次，已申請(qǐng)和授權(quán)中國(guó)和美國(guó)及國(guó)際專利20余項(xiàng)。受聘北京市通信保障和信息安全應(yīng)急專家、中國(guó)電子學(xué)會(huì)區(qū)塊鏈專委會(huì)副主任、中國(guó)密碼學(xué)會(huì)安全協(xié)議專業(yè)委員會(huì)會(huì)員等職務(wù)。

圖書(shū)目錄

第1章緒論 1
1.1 智能合約 1
1.1.1 智能合約概念 1
1.1.2 智能合約工程 4
1.2 區(qū)塊鏈智能合約框架 6
1.2.1 智能合約工程軟件架構(gòu) 8
1.2.2 支持靈活服務(wù)應(yīng)用程序開(kāi)發(fā)的智能合約語(yǔ)言 10
1.2.3 智能合約安全部署與隱私 12
1.2.4 智能合約的可信執(zhí)行 13
1.3 本書(shū)內(nèi)容安排 14
1.4 小結(jié) 15
參考文獻(xiàn) 16
第2章智能法律合約概念辨析 18
2.1 引言 18
2.2 智能合約概念 19
2.3 智能法律合約 20
2.3.1 智能法律合約定義及內(nèi)涵 20
2.3.2 智能合約語(yǔ)言發(fā)展現(xiàn)狀 21
2.3.3 智能法律合約與法律合同的關(guān)系和區(qū)別 22
2.4 智能合約的法律化探索與實(shí)踐 23
2.4.1 智能合約的法律化思考 23
2.4.2 智能合約的法律化探索 26
2.5 智能合約系統(tǒng)架構(gòu)及法律化辨析 29
2.5.1 智能合約架構(gòu)描述 29
2.5.2 智能合約的區(qū)塊鏈部署 29
2.5.3 合約代碼運(yùn)行 30
2.5.4 區(qū)塊鏈所部署智能合約法律化辨析 31
2.6 智能法律合約研究進(jìn)展 34
2.6.1 合約邏輯模型研究 34
2.6.2 智能法律合約語(yǔ)言模型研究 35
2.6.3 智能合約與監(jiān)管. 37
2.7 小結(jié) 38
參考文獻(xiàn) 39
第3章智能法律合約語(yǔ)言 42
3.1 引言 42
3.1.1 面臨的挑戰(zhàn) 43
3.1.2 解決挑戰(zhàn)的思路. 44
3.1.3 本章組織及內(nèi)容. 45
3.2 相關(guān)研究背景 46
3.2.1 區(qū)塊鏈與智能合約 46
3.2.2 領(lǐng)域特定語(yǔ)言 46
3.2.3 Xtext 48
3.3 智能法律合約語(yǔ)言SPESC 語(yǔ)法規(guī)范 48
3.3.1 一般結(jié)構(gòu) 49
3.3.2 當(dāng)事人和條款 50
3.3.3 條款表達(dá)式 52
3.3.4 表達(dá)式 53
3.3.5 時(shí)間表達(dá)式 54
3.3.6 交易 56
3.4 從SPESC 中派生程序框架. 57
3.5 案例研究 59
3.5.1 案例設(shè)計(jì) 60
3.5.2 結(jié)果 62
3.5.3 RQs 的回答. 64
3.6 相關(guān)工作 66
3.7 小結(jié) 67
參考文獻(xiàn) 67
第4章智能法律合約編譯方法 70
4.1 引言 70
4.1.1 研究動(dòng)機(jī) 71
4.1.2 相關(guān)工作 71
4.1.3 本章主要工作 71
4.2 相關(guān)工作 72
4.3 系統(tǒng)框架 74
4.3.1 系統(tǒng)目標(biāo) 74
4.3.2 智能合約編寫(xiě)框架 74
4.4 SPESC 介紹 76
4.5 競(jìng)買合約 78
4.6 SPESC 編寫(xiě)競(jìng)買合約 79
4.7 目標(biāo)代碼生成 84
4.7.1 目標(biāo)語(yǔ)言合約框架 84
4.7.2 當(dāng)事人合約的生成 84
4.7.3 主體合約生成 89
4.7.4 表達(dá)式實(shí)現(xiàn) 92
4.8 實(shí)驗(yàn)及結(jié)果 93
4.9 小結(jié) 96
參考文獻(xiàn) 96
第5章智能法律合約訂立方法 99
5.1 引言 99
5.2 相關(guān)工作 100
5.3 預(yù)備知識(shí) 102
5.4 系統(tǒng)框架 103
5.4.1 系統(tǒng)目標(biāo) 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 智能法律合約語(yǔ)言 109
5.6.2 智能法律合約中訂立語(yǔ)法 110
5.6.3 智能法律合約示例 111
5.7 轉(zhuǎn)化后智能合約訂立方案 113
5.7.1 合約訂立流程 113
5.7.2 智能合約中代碼實(shí)現(xiàn) 114
5.8 合約實(shí)例 116
5.9 方案合規(guī)性辯析 . 119
5.10 小結(jié) 121
參考文獻(xiàn) . 121
第6章合約化資產(chǎn)與權(quán)屬交易 124
6.1 引言 124
6.1.1 研究現(xiàn)狀 126
6.1.2 研究目標(biāo) 127
6.2 面向資產(chǎn)的TA-SPESC 設(shè)計(jì) 128
6.2.1 一般結(jié)構(gòu) 128
6.2.2 TA-SPESC 模型及其形式化定義 129
6.2.3 TA-SPESC 模型中的資產(chǎn)分類 131
6.2.4 TA-SPESC 模型中的權(quán)利分類 132
6.2.5 TA-SPESC 模型中的資產(chǎn)定義 133
6.2.6 TA-SPESC 模型中的資產(chǎn)交易 136
6.3 房屋租賃合約 138
6.3.1 個(gè)人房屋租賃智能合約案例 139
6.3.2 TA-SPESC 編寫(xiě)個(gè)人房屋租賃合約 139
6.3.3 資產(chǎn)模型向Solidity 的半自動(dòng)生成 144
6.3.4 代碼生成示例 148
6.4 個(gè)人房屋租賃合約的部署運(yùn)行 150
6.4.1 編譯環(huán)境 150
6.4.2 合約測(cè)試 150
6.4.3 實(shí)驗(yàn)結(jié)果與分析 151
6.5 小結(jié) 153
參考文獻(xiàn) . 153
第7章現(xiàn)用現(xiàn)付的智能服務(wù)合約 155
7.1 引言 155
7.1.1 研究動(dòng)機(jī) 155
7.1.2 研究路線 156
7.2 相關(guān)工作 157
7.3 系統(tǒng)框架 158
7.3.1 系統(tǒng)目標(biāo) 158
7.3.2 系統(tǒng)架構(gòu) 159
7.3.3 系統(tǒng)實(shí)體關(guān)系 159
7.4 服務(wù)注冊(cè)與發(fā)布 . 160
7.4.1 合約當(dāng)事人聲明 161
7.4.2 服務(wù)注冊(cè)交互與狀態(tài)轉(zhuǎn)移 162
7.4.3 服務(wù)接口合約化 165
7.4.4 服務(wù)注冊(cè)發(fā)布合約條款. 165
7.5 服務(wù)發(fā)現(xiàn)與消費(fèi) . 166
7.5.1 服務(wù)發(fā)現(xiàn) 166
7.5.2 服務(wù)發(fā)現(xiàn)合約條款 167
7.5.3 服務(wù)消費(fèi)的請(qǐng)求綁定 168
7.5.4 服務(wù)消費(fèi)自定義合約條款 168
7.5.5 合約化服務(wù)的法律角度思考 170
7.6 基于智能合約的天氣服務(wù)案例研究 170
7.6.1 合約描述 170
7.6.2 合約化天氣預(yù)報(bào)服務(wù)流程 171
7.7 實(shí)驗(yàn) 172
7.7.1 實(shí)驗(yàn)方案 172
7.7.2 實(shí)驗(yàn)驗(yàn)證 173
7.8 小結(jié) 174
參考文獻(xiàn) . 175
第8章智能法律合約語(yǔ)言 177
8.1 引言 177
8.2 符號(hào)和關(guān)鍵詞 178
8.2.1 符號(hào) 178
8.2.2 關(guān)鍵詞. 178
8.3 表示形式 179
8.4 構(gòu)成要素 180
8.5 要素的表述 181
8.5.1 合約框架 181
8.5.2 合約名稱 181
8.5.3 當(dāng)事人描述 182
8.5.4 標(biāo)的 182
8.5.5 合約條款 183
8.5.6 權(quán)利和義務(wù) 185
8.5.7 資產(chǎn)操作 186
8.5.8 表達(dá)式符號(hào) 187
8.5.9 時(shí)間表示 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
參考文獻(xiàn) . 200
第9章合同文本置標(biāo)語(yǔ)言 201
9.1 引言 201
9.2 縮略語(yǔ) 202
9.3 符號(hào)和關(guān)鍵詞 202
9.3.1 標(biāo)注符號(hào) 202
9.3.2 關(guān)鍵詞. 203
9.4 拼寫(xiě)規(guī)則 204
9.5 CTML 置標(biāo)體系 204
9.5.1 原則 204
9.5.2 CTML 記法 204
9.5.3 CTML 使用流程 206
9.5.4 CTML 合同類別 206
9.5.5 CTML 置標(biāo)要求 207
9.6 層級(jí)標(biāo)注結(jié)構(gòu) 207
9.6.1 概述 207
9.6.2 法律要素標(biāo)注 207
9.6.3 法律屬性標(biāo)注 208
9.6.4 法律成分標(biāo)注 209
9.6.5 域標(biāo)注. 210
9.7 要素構(gòu)成 210
9.8 要素表述 212
9.8.1 合約框架 212
9.8.2 合同標(biāo)題 212
9.8.3 當(dāng)事人. 213
9.8.4 標(biāo)的 214
9.8.5 合約條款 216
9.8.6 資產(chǎn)操作 220
9.8.7 資產(chǎn)表達(dá)式 222
9.8.8 時(shí)間表達(dá)式 223
9.8.9 附加信息 227
9.8.10 合約訂立 227
9.9 法律文本合同及標(biāo)注后CTML 合同示例 229
9.9.1 法律文本合同 229
9.9.2 標(biāo)注后CTML 合同 230
9.10 EMD 的交互數(shù)據(jù)屬性與示例 233
9.10.1 EMD 的交互數(shù)據(jù)屬性 233
9.10.2 EMD 示例 234
9.11 CTML 到SLCL 轉(zhuǎn)化關(guān)系表 234
參考文獻(xiàn) 241
附錄書(shū)中使用的術(shù)語(yǔ)及定義 . 242