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

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

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

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