3 出，它是一种类自然语言的语言规范)，旨在通过类自然语言、规范化的结构与书写、可自动化向可执行智 能合约语言转换的方式来解决不同领域专家沟通、法律效力以及部分逻辑安全问题。进而本文将采用SPE$C 语言作为SLC的设计和开发工具。 为了开展SaaSC服务交易的实例化研究，本文将SLC与当前服务计算领域流行的微服务(Microservice) 框架相结合。微服务是一种开发软件的架构和组织方法，将独立服务通过明确定义的API进行组合，适用 于云原生应用程序（如SaaS)、无服务器计算或轻量级容器部署的应用程序8l。微服务框架（如Spring Cloud、 Kubernetes)则为快速构建微服务提供注册、发布、发现及消费等一体化的支持，如Spring Cloud框架采用 Eureka作为注册中心汇聚服务信息、统一管理和维护服务地址、快速发现与连接服务：采用Spring Boot打包 和部署服务应用，支持RESTful接口传递服务数据。因此，微服务框架可为研究SaaS+SaaSC的“先服务后结 算”软件订阅模式提供软件服务上的平台支撑。 针对目前SaaS架构难以依据现有法律合同规范当事人权利义务关系的问题本文提出的SaaSC系统架 构将面向法律合同的智能法律合约技术引入到服务注册、服务发现、服务消费天阶段中，为软件服务过程的 法律化提供了一种有效解决方案，并为该SaaSC架构设计如下机制：首先设了一种服务注册与发布过程 中的服务接口合约化方案，通过分析服务注册过程的6种交互动作、4种微服务状态及3阶段状态转移流程， 建立了遵循OpenAPI标准的服务通用接口到SLC语言中合约条款描述的映射关系，实现了一种基于智能法律 合约“注册条款”的服务注册交互行为的规范化方法，以法律【要约承诺”方式为消费方合法获取软件服 务权益奠定了基础。其次，提出了一种服务发现与消费过程中消费需求与计费合约化机制，以服务发现中的 三级缓存机制和服务匹配方法为基础，设计了对服务发现请求和响应进行约定的智能法律合约“发现条款” 与“定制化条款”，并在服务消费中借助智能合约自动执发并检查条款，实现细化到服务接口调用级别的精准 计费模式，进而确保服务交易行为存证到区块链系统，/从法律上为“先服务后结算”模式提供了保障。 2.系统框架 本文的目标是探索“由软件到服务、再由服务到合约”的新型软件服务交易，即通过一种SaaS+SaaSC的 软件架构实现“先服务后结算”的软件订阅模式，在技术上推动软件服务交易的法律化和金融化。架构核心 是以服务质量和数量为基础，以按劳分配公平公正的交易原则，建立“先服务后结算”的软件订阅模式，依 法保护软件服务消费者合法权益。 2.1系统架构 根据系统目标，本文设计 已种面向软件服务交易的SaaS+SaaSC架构。如图l所示，该架构在现有SaaS Service's Transaction Service's Provider Blockchain Platform Microservice 1 Contract Engine Unified Interface Smartphone Microservice 2 Gateway Contract Engine Third-party Client Microservice 3 Contract Engine Service's Consumer Service's Registry Contrac 上gIe Contractual Service System 图1SaaS+SaaSC架构示意图 Fig.1 Architecture of SaaS+SaaSC system3 出，它是一种类自然语言的语言规范[13]，旨在通过类自然语言、规范化的结构与书写、可自动化向可执行智 能合约语言转换的方式来解决不同领域专家沟通、法律效力以及部分逻辑安全问题。进而本文将采用 SPESC 语言作为 SLC 的设计和开发工具。 为了开展 SaaSC 服务交易的实例化研究，本文将 SLC 与当前服务计算领域流行的微服务（Microservice） 框架[7]相结合。微服务是一种开发软件的架构和组织方法，将独立服务通过明确定义的 API 进行组合，适用 于云原生应用程序（如 SaaS）、无服务器计算或轻量级容器部署的应用程序[8]。微服务框架（如 Spring Cloud、 Kubernetes）则为快速构建微服务提供注册、发布、发现及消费等一体化的支持，如 Spring Cloud 框架采用 Eureka 作为注册中心汇聚服务信息、统一管理和维护服务地址、快速发现与连接服务；采用 Spring Boot 打包 和部署服务应用，支持 RESTful 接口传递服务数据。因此，微服务框架可为研究 SaaS+SaaSC 的“先服务后结 算”软件订阅模式提供软件服务上的平台支撑。 针对目前 SaaS 架构难以依据现有法律合同规范当事人权利义务关系的问题，本文提出的 SaaSC 系统架 构将面向法律合同的智能法律合约技术引入到服务注册、服务发现、服务消费三阶段中，为软件服务过程的 法律化提供了一种有效解决方案，并为该 SaaSC 架构设计如下机制：首先，设计了一种服务注册与发布过程 中的服务接口合约化方案，通过分析服务注册过程的 6 种交互动作、4 种微服务状态及 3 阶段状态转移流程， 建立了遵循 OpenAPI 标准的服务通用接口到 SLC 语言中合约条款描述的映射关系，实现了一种基于智能法律 合约“注册条款”的服务注册交互行为的规范化方法，以法律上“要约-承诺”方式为消费方合法获取软件服 务权益奠定了基础。其次，提出了一种服务发现与消费过程中消费需求与计费合约化机制，以服务发现中的 三级缓存机制和服务匹配方法为基础，设计了对服务发现请求和响应进行约定的智能法律合约“发现条款” 与“定制化条款”，并在服务消费中借助智能合约自动执行并检查条款，实现细化到服务接口调用级别的精准 计费模式，进而确保服务交易行为存证到区块链系统，从法律上为“先服务后结算”模式提供了保障。 2. 系统框架 本文的目标是探索“由软件到服务、再由服务到合约”的新型软件服务交易，即通过一种 SaaS+SaaSC 的 软件架构实现“先服务后结算”的软件订阅模式，在技术上推动软件服务交易的法律化和金融化。架构核心 是以服务质量和数量为基础，以按劳分配、公平公正的交易原则，建立“先服务后结算”的软件订阅模式，依 法保护软件服务消费者合法权益。 2.1 系统架构 根据系统目标，本文设计了一种面向软件服务交易的 SaaS+SaaSC 架构。如图 1 所示，该架构在现有 SaaS Contractual Service System Blockchain Service's Transaction Platform Service's Consumer Web Application Smartphone Unified Interface Service's Provider Third-party Client Gateway Service's Registry Contract Engine Microservice 1 Contract Engine Microservice 2 Contract Engine Microservice 3 Contract Engine 图 1 SaaS+SaaSC 架构示意图 Fig.1 Architecture of SaaS+SaaSC system 录用稿件，非最终出版稿