37、自动化生成 Web 服务级别协议的深入解析

自动化生成 Web 服务级别协议的深入解析

1. 协商模型概述

在进行 Web 服务级别协议（SLA）的协商之前，首要任务是确认服务提供方的服务内容是否满足用户的需求。这需要验证以下条件：
[∀qdi ∈QD \quad isec (c(qdi), ur(qdi)) = c(qdi).offerings∩ur(qdi).request \neq ∅]
服务级别协商将在由 (isec (c(qdi), ur(qdi))) 所确定的质量值范围内进行。自动化协商通常由三个要素构成：协商协议、参与者决策模型以及协商对象。

我们采用了一种简单的协商协议：用户针对每个 (qdi)，会先从 (qdi.PC) 中属于计算交集且质量最低的原始类开始考虑。只要预算未耗尽，用户就会考虑质量更高的原始类。在这个机制中，决策模型控制着预算在各个质量维度上的分配方式。

我们认为，只有与非恒定评估函数 (qdi.ef) 相关的服务质量（QoS）维度才可以进行协商。对于具有恒定评估函数的维度，例如覆盖区域，我们假设用户的需求是不可协商的。因此，质量维度集合 (QD) 被划分为可协商质量维度集合 (NQD) 和不可协商质量维度集合 (NNQD)，即：
[QD = NQD ∪ NNQD, \quad NQD ∩ NNQD = ∅]
[NQD = {nqdl \mid l = 1, \ldots, L}]
[NNQD = {nnqdm \mid m = 1, \ldots, M}]

对于每个可协商质量维度 (nqdl)，协商对象被正式定义为：
[negobjl (c(nqdl), ur(nqdl)) = \langle nqdl.name