本书以实现法律化的程序设计为目标、面向合约软件开发理论为基础，系统地介绍了智能法律合约与面向合约软件工程的概念与架构，对智能法律合约的法律属性、语言设计进行了理论分析和模型设计，提出了智能法律合约的编译方法、订立方法等实用化工具和技术，并在数字资产与权属交易和智能合约即服务等方面给出了智能法律合约的应用解决方案和相关智能法律合约语言标准。本书系统地阐述了如何实现法律化的程序设计与开发，让非计算机专业人士也可参与设计自己的区块链智能合约。本书内容能够很好地帮助读者了解智能法律合约的研究进展、基本理论和方法，以及未来发展方向，其中示例也能帮助本领域学者进行示例化研究，从而推动智能法律合约的发展。 本书可供计算机、金融、信息安全等领域的高等院校师生及科研院所研究人员阅读参考，对律师、司法人员等法律界人士也具有重要的参考价值。

第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章 合同文本置标语言
附录 书中使用的术语及定义