28、服务组合中的语义健壮性与合同兼容性技术

服务组合中的语义健壮性与合同兼容性技术

服务组合中语义健壮性的提供者 - 组合器协商

在服务组合中，确保语义链接的健壮性至关重要，这有助于实现可扩展和实用的Web服务组合。下面将详细介绍相关的协商过程和示例。

协商阶段与协议

• 第一阶段
  • 步骤1：服务组合器向服务提供者发送提案请求（Call - for - Proposal）。提供者可能会给出提案（Proposal）、拒绝（Refuse）或反提案（Counter Proposal）。
  • 步骤2：若步骤1中提供者给出反提案，服务组合器会使用图4（b）所示的协商协议，向服务sj的提供者发起协商。发送的提案请求消息内容包含步骤1中所有反提案Out si。若服务sj的输入In sj包含任何反提案，则可能形成健壮的组合。服务提供者代理有以下响应选项：
    • 提案 ：若SimT (Out si, In sj)为PlugIn类型，代理积极响应。
    • 反提案 ：若SimT (Out si, In sj)为Intersection类型，代理给出反提案，即此具体语义链接sli,j所需的额外描述T |= Out si ⊓Hsi,sj ⊑In sj，这也被称为两个提供者代理之间的“配对报价”。

响应类型	条件