32、服务组合与客户端迁移：互联网服务新视角

服务组合与客户端迁移：互联网服务新视角

1 服务限制与覆盖机制

1.1 服务限制原理

当且仅当在集合 $\Omega_A$ 中无法找到与请求 $r$ 匹配的服务时，$\Omega_A \not\vdash r$ 成立。这意味着只有那些与集合 $A$ 中任何服务都不匹配的请求，才可能在有约束的情况下被匹配。从这个意义上说，集合 $A$ 中的服务对集合 $C$ 中的服务起到了限制作用。例如，当用户进入另一个基于位置的电子社区（LEC）时，某些原本可用的服务可能会变得无效，这体现了 LEC 成员资格的过滤效应。

1.2 服务覆盖规则

服务覆盖用符号 “$\triangleleft$” 表示，其规则如下：
- 若 $(C | \Omega_A) \vdash r, \Theta$，则 $(C \triangleleft \Omega_A) \vdash r, \Theta$。
- 若 $\Omega_A \vdash r, \Theta’$，则 $(C \triangleleft \Omega_A) \vdash r, \Theta’$。

实际上，根据 “$\cup$” 的定义，$C \triangleleft \Omega_A = (C | \Omega_A) \cup \Omega_A$。这些规则表明，要么使用集合 $A$ 中的服务，要么使用集合 $C$ 中但集合 $A$ 没有的服务。如果请求 $r$ 同时匹配集合 $C$ 和集合 $A$ 中的服务，那么将调用集合 $A$ 中的服务，即集合 $A$ 的服务覆盖集合 $C$ 的服务。这个操作符可用于模拟更当前（或结构上更内层）的 LEC 的服务优先于更早（或外层）的 L