智能法律合約：面向合約的軟件開發語言、技術及應用

第1章 緒論
1.1 智能合約
1.1.1 智能合約概念
1.1.2 智慧合約工程
1.2 區塊鏈智能合約框架
1.2.1 智慧合約工程軟體架構
1.2.2 支援靈活服務應用程式開發的智慧合約語言
1.2.3 智能合約安全部署與隱私
1.2.4 智能合約的可信執行
1.3 本書內容安排
1.4 小結
參考文獻

第2章 智能法律合約概念辨析
2.1 引言
2.2 智能合約概念
2.3 智能法律合約
2.3.1 智慧法律合約定義及內涵
2.3.2 智慧合約語言發展現狀
2.3.3 智能法律合約與法律合同的關係和區別
2.4 智慧合約的法律化探索與實踐
2.4.1 智能合約的法律化思考
2.4.2 智慧合約的法律化探索
2.5 智慧合約系統架構及法律化辨析
2.5.1 智能合約架構描述
2.5.2 智能合約的區塊鏈部署
2.5.3 合約代碼運行
2.5.4 區塊鏈所部署智能合約法律化辨析
2.6 智慧法律合約研究進展
2.6.1 合約邏輯模型研究
2.6.2 智慧法律合約語言模型研究
2.6.3 智能合約與監管
2.7 小結
參考文獻

第3章 智慧法律合約語言
3.1 引言
3.1.1 面臨的挑戰
3.1.2 解決挑戰的思路
3.1.3 本章組織及內容
3.2 相關研究背景
3.2.1 區塊鏈與智能合約
3.2.2 領域特定語言
3.2.3 Xtext
3.3 智慧法律合約語言SPESC語法規範
3.3.1 一般結構
3.3.2 當事人和條款
3.3.3 條款運算式
3.3.4 運算式
3.3.5 時間運算式
3.3.6 交易
3.4 從SPESC中派生程式框架
3.5 案例研究
3.5.1 案例設計
3.5.2 結果
3.5.3 RQs的回答
3.6 相關工作
3.7 小結
參考文獻

第4章 智慧法律合約編譯方法
4.1 引言
4.1.1 研究動機
4.1.2 相關工作
4.1.3 本章主要工作

第5章 智慧法律合約訂立方法
第6章 合約化資產與權屬交易
第7章 現用現付的智慧服務合約
第8章 智慧法律合約語言
第9章 合同文本置標語言

附錄 書中使用的術語及定義