8 程描述如下： (a) In Service (b) In Contract Start Tems Pattern Starting egotiate Expire 0uto不. Starting Kegister Trial Signature Service Register Status Update Up Renew Up Confirm Contractual service Cancel Cancel nstance Down Evict Down Exception in formatio Exception - 图6微服务注册状态转移示意图：(a)原有Eureka注册中心状态转移(b)合约化注册状态转移 Fig.6 State transfer in microservice registration:(a)state transfer in original Eureka center(b)state transfer in contract based registration 1)当注册中心收到微服务第一次注册请求时，将状态置为服务启动。如果通过审核成功，则将服务信息 加入到服务列表中，状态更新为服务上线状态。 2)上线状态的微服务到达下一状态有3种可能，分别为维持上线状态、进入异常掉线状态和进入服务下 线状态。为了维持上线状态，微服务需要定期向平台发送心跳连接以证实自身状态，未及时发送心跳连接的 微服务将触发平台执行续约超时动作，被标记为异常掉线态。 微服务也可以主动结束生命周期，通过发送 取消动作请求进入下线状态。 3)平台按清理周期（默认参数eviction--interval-.ter设置为6Os)定期清理心跳超时的服务。清理周期设 置一个较大的值以防止出现因注册中心网络中断而导致微服务误下线的情况，这属于注册中心的自我保护机 制。被清理后的微服务进入下线状态被动结束服务生命周期。 图6(b)描述了合约化后的服务状态转移关系。结合服务部分与合约部分的状态转移关系，流程描述如下： 1)当收到微服务首次注册请求时，注册中心将该微服务状态置为服务启动：此后，状态服务商需要选择 或提供含有服务定制条款的约范本完成服务注册条款约定的交互行为后才可上线。 2)消费方依据服务发现条款选择服务并进入合约签署过程，在双方确认完成合约订立后，合约部署到区 块链系统。 3)依据双方协商的定制化服务条款与定价标准，消费者账户向合约账户充值生成合约实例后，该微服务 进入合约化服务伏状态实施使用时计费。 4)在合约化服务状态下，服务违约行为（心跳超时、条款执行失败、违约条款条件成立等）将触发合约 引擎的异常处理功能。 相比图6()原状态机模型，服务启动过程需要提供相应的服务注册合约条款信息，服务心跳超时会触发 异常处理而不是直接进入服务异常状态。合约签署确认成功生成合约实例后，将进入合约化服务状态。上述 合约实例是对SPE$C合约条款逻辑的具体实现，合约条款执行过程包括检查前置条件、执行伴随动作和检查 后置条件。根据合约交易的原子性(All or nothing)原则，只有当前置条件、动作执行和后置条件都满足后， 合约状态才会产生更新。 4.服务发现与绑定8 程描述如下： 图 6 微服务注册状态转移示意图: (a)原有 Eureka 注册中心状态转移; (b)合约化注册状态转移 Fig.6 State transfer in microservice registration: (a) state transfer in original Eureka center; (b) state transfer in contract based registration 1）当注册中心收到微服务第一次注册请求时，将状态置为服务启动。如果通过审核成功，则将服务信息 加入到服务列表中，状态更新为服务上线状态。 2）上线状态的微服务到达下一状态有 3 种可能，分别为维持上线状态、进入异常掉线状态和进入服务下 线状态。为了维持上线状态，微服务需要定期向平台发送心跳连接以证实自身状态，未及时发送心跳连接的 微服务将触发平台执行续约超时动作，被标记为异常掉线状态。微服务也可以主动结束生命周期，通过发送 取消动作请求进入下线状态。 3）平台按清理周期（默认参数 eviction-interval-timer 设置为 60s）定期清理心跳超时的服务。清理周期设 置一个较大的值以防止出现因注册中心网络中断而导致微服务误下线的情况，这属于注册中心的自我保护机 制。被清理后的微服务进入下线状态，被动结束服务生命周期。 图 6 (b)描述了合约化后的服务状态转移关系。结合服务部分与合约部分的状态转移关系，流程描述如下： 1）当收到微服务首次注册请求时，注册中心将该微服务状态置为服务启动；此后，状态服务商需要选择 或提供含有服务定制条款的合约范本，完成服务注册条款约定的交互行为后才可上线。 2）消费方依据服务发现条款选择服务并进入合约签署过程，在双方确认完成合约订立后，合约部署到区 块链系统。 3）依据双方协商的定制化服务条款与定价标准，消费者账户向合约账户充值生成合约实例后，该微服务 进入合约化服务状态，实施使用时计费。 4）在合约化服务状态下，服务违约行为（心跳超时、条款执行失败、违约条款条件成立等）将触发合约 引擎的异常处理功能。 相比图 6 (a)原状态机模型，服务启动过程需要提供相应的服务注册合约条款信息，服务心跳超时会触发 异常处理而不是直接进入服务异常状态。合约签署确认成功生成合约实例后，将进入合约化服务状态。上述 合约实例是对 SPESC 合约条款逻辑的具体实现，合约条款执行过程包括检查前置条件、执行伴随动作和检查 后置条件。根据合约交易的原子性（All or nothing）原则，只有当前置条件、动作执行和后置条件都满足后， 合约状态才会产生更新。 4. 服务发现与绑定 In Service In Contract Start Register Cancel End Trial Exception information Start Status Update Evict End Register Expire Renew Cancel (a) (b) Terms Negotiate Confirm Contractual service Throw Starting Up Down Out-of￾Service Starting Renew Up Down Pattern Signature Instance Exception 录用稿件，非最终出版稿