3、服务的图基设计框架概述

服务的图基设计框架概述

1 服务组合示例

通过一个服务匹配的例子，展示了如何从简单服务获得更复杂的服务。例如，IRiskEvaluator 的服务提供者在设计时被选定，同时确定了服务级别协议（SLA），其结果体现在新服务 CreditService ⊕ RiskEvalService 中。该服务的 c.amount、fee 和 cfd 受两个接口的约束，且 cfd = 0.9095 ∧ fee = 30.14917，由图 1 中的 ARN 进行编排。

2 业务反射配置

2.1 状态配置

状态配置 F 是一个对 ⟨α, S⟩，其中 α = ⟨C, W, γ, μ⟩ 是一个组件网，S 是一个配置状态，它为每个组件 c∈C 分配 STATE c 中的一个元素，为每个线 w∈W 分配 STATE w 中的一个元素。

状态配置 ⟨α, S⟩ 有两种变化方式：
- 执行步骤：在 α 内从 S 到 S′ 的状态转换，涉及每个组件和线的局部转换，部分可能空闲。
- 重新配置步骤：从 S 到 S′ 的状态转换以及从 α 到另一个组件网 α′ 的变化。

2.2 业务配置

业务配置是 ⟨F, P, B, T⟩，其中：
- F 是状态配置。
- P 是一个部分映射，为服务 s∈U 分配一个对 ⟨PM(s), {Pu(s) : u ∈ PM(s)↓}⟩，PM(s) 是服务模块，Pu(s) 由 F 中的节点 cu 和一组对 ⟨P u
i , wu
i ⟩ 组成，P u
i 是 γcu 的不同端口，wu
i 是连接 P u
i 和