5 使用现有推荐算法2)，故在本文中不作为重点内容（见图2阶段2.B)。然后，服务提供方和消费方根据定制 化条款约定服务内容，消费方请求所选择服务授权软件许可（见图2阶段3.A)。提供方根据定制化条款授权 具体的服务资源绑定到条款指定的接口描述，双方通过合约订立确立最终合约形式并生成可执行智能合约程 序部署到区块链平台（见图2阶段3B)。 3)服务消费与结算 本阶段是“先服务后结算”软件订阅模式的执行过程。根据条款规定的定价规则，服务提供方先期交付 SaS订阅使用权，消费方通过合约中规定的条款按需调用SaaS软件服务（图2阶段4.A)。智能合约程序根 据服务消费账单进行结算，将资金转账到服务提供方账户（图2阶段4.B)。 2.3软件订阅合同中的条款 上述阶段中，合约引擎提供智能合约部署与执行等功能。智能法律合约作为设休开发工具，约定平台与 服务提供方、消费方之间采用三种条款规范两两之间交互行为与结果： 1)服务注册条款SRT:是指合约中用于以资产(Asset)形式描述服务接口Interface)并将资产提交给平台 (通过Commit子条款)、以及平台将其中的服务接口发布到服务列表中《通过Register子条款)的相应 条款，其中，Commit和Register为合约模板中约定的两个子条款。 2)服务发现条款SDT:是指合约中用于消费方向服务交易平台提交发现请求（通过Request子条款）及平 台向消费方提供服务列表。依据条款中关于服务功能或质量的限制条件，服务发现请求中可附带检索信 息以帮助平台缩小检索范围。 3)服务定制化条款SCT:服务提供方和消费方依据协商今 致的原则自行定义各方权利义务和服务计费标准。 合同条款协商完毕的标志是合约订立。合约订立即要约承诺”的过程，与服务请求绑定过程相对应。 3. 服务注册与发布 本节将使用智能法律合约语言SPESC进行服务注册与发布的合约化封装。服务提供方提交接口注册信息 同时将服务接口承诺写入智能法律合约，继而采用合约中资产表示对服务接口宣称进行约定与检查。SPESC 语法模型的构成要素包括合约名称、当事人描述、标的、合约条款、附加信息、合约订立等。同时，智能法律 合约编写过程中涉及权利和义务、资度操作、 表达式、时间表示等语法规范（见文献[13]）。后文将采用该语 法模型对服务进行合约化描述， 3.1合约当事人声明 首先，SPESC智能法律合约中需要记录提供服务的负责人信息，服务实体作为合约当事人，对应智能法 律合约的合约参与方)。在SPESC语言描述的智能法律合约中，合约当事人的属性采用键值对描述， 其中，属性键由合约范本指定，属性值可以留空或者预先填充。 本文中合约范术【或称合同范本)采用合约模板化思想进行设计。该思想最早来源于李嘉图合约 (Ricardian Contract),旨在通过可读性语言以类似合同文本的形式描述合同中每个条款的意思表示，并将 其与当事人的意志选择分离开，前者被转化为合约模板，后者生成数据域。在合约模板代码被上传到区块链 系统后，区块链提供的去中心化计算能力支持分布式环境下多方当事人对数据域进行填充与交换协商。因此， 合约模板与数据域相分离的设计方式融合区块链去中心化计算能力，支持了多方当事人对合约进行并发操作。 如()所示，合约范本为每个当事人设置账户和身份证明两个属性。由于服务提供方提供合约范本，故已 在其中添加了属性值：其余当事人在合同协商过程中动态填入属性值。当事人还可以拥有其他属性，如可操 作的动作等，在后文中将通过合约条款的方式进行声明。微服务应用(Service App)、当事人与智能合约的UML 之间关联关系如(b)所示。其中，实体类(Instancelnfo)表示运行微服务的实例信息，微服务与其实例信息为5 使用现有推荐算法[12]，故在本文中不作为重点内容（见图 2 阶段 2.B）。然后，服务提供方和消费方根据定制 化条款约定服务内容，消费方请求所选择服务授权软件许可（见图 2 阶段 3.A）。提供方根据定制化条款授权 具体的服务资源绑定到条款指定的接口描述，双方通过合约订立确立最终合约形式并生成可执行智能合约程 序部署到区块链平台（见图 2 阶段 3.B）。 服务消费与结算 本阶段是“先服务后结算”软件订阅模式的执行过程。根据条款规定的定价规则，服务提供方先期交付 SaaS 订阅使用权，消费方通过合约中规定的条款按需调用 SaaS 软件服务（图 2 阶段 4.A）。智能合约程序根 据服务消费账单进行结算，将资金转账到服务提供方账户（图 2 阶段 4.B）。 2.3 软件订阅合同中的条款 上述阶段中，合约引擎提供智能合约部署与执行等功能。智能法律合约作为设计开发工具，约定平台与 服务提供方、消费方之间采用三种条款规范两两之间交互行为与结果： 服务注册条款 SRT：是指合约中用于以资产（Asset）形式描述服务接口（Interface）并将资产提交给平台 （通过 Commit 子条款）、以及平台将其中的服务接口发布到服务列表中（通过 Register 子条款）的相应 条款，其中，Commit 和 Register 为合约模板中约定的两个子条款。 服务发现条款 SDT：是指合约中用于消费方向服务交易平台提交发现请求（通过 Request 子条款）及平 台向消费方提供服务列表。依据条款中关于服务功能或质量的限制条件，服务发现请求中可附带检索信 息以帮助平台缩小检索范围。 服务定制化条款 SCT：服务提供方和消费方依据协商一致的原则自行定义各方权利义务和服务计费标准。 合同条款协商完毕的标志是合约订立。合约订立即“要约-承诺”的过程，与服务请求绑定过程相对应。 3. 服务注册与发布 本节将使用智能法律合约语言 SPESC 进行服务注册与发布的合约化封装。服务提供方提交接口注册信息 同时将服务接口承诺写入智能法律合约，继而采用合约中资产表示对服务接口宣称进行约定与检查。SPESC 语法模型的构成要素包括合约名称、当事人描述、标的、合约条款、附加信息、合约订立等。同时，智能法律 合约编写过程中涉及权利和义务、资产操作、表达式、时间表示等语法规范（见文献[13]）。后文将采用该语 法模型对服务进行合约化描述。 3.1 合约当事人声明 首先，SPESC 智能法律合约中需要记录提供服务的负责人信息，服务实体作为合约当事人，对应智能法 律合约的合约参与方（party）。在 SPESC 语言描述的智能法律合约中，合约当事人的属性采用键-值对描述， 其中，属性键由合约范本指定，属性值可以留空或者预先填充。 本文中合约范本（或称合同范本）采用合约模板化思想[14]进行设计。该思想最早来源于李嘉图合约 （Ricardian Contract）[15]，旨在通过可读性语言以类似合同文本的形式描述合同中每个条款的意思表示，并将 其与当事人的意志选择分离开，前者被转化为合约模板，后者生成数据域。在合约模板代码被上传到区块链 系统后，区块链提供的去中心化计算能力支持分布式环境下多方当事人对数据域进行填充与交换协商。因此， 合约模板与数据域相分离的设计方式融合区块链去中心化计算能力，支持了多方当事人对合约进行并发操作。 如(a)所示，合约范本为每个当事人设置账户和身份证明两个属性。由于服务提供方提供合约范本，故已 在其中添加了属性值；其余当事人在合同协商过程中动态填入属性值。当事人还可以拥有其他属性，如可操 作的动作等，在后文中将通过合约条款的方式进行声明。微服务应用（Service App）、当事人与智能合约的 UML 之间关联关系如(b)所示。其中，实体类（InstanceInfo）表示运行微服务的实例信息，微服务与其实例信息为 录用稿件，非最终出版稿