30、基于合约的 Web 服务发现与适配

基于合约的 Web 服务发现与适配

1. 合约与服务关系基础

在 Web 服务的场景中，合约是对服务行为的一种描述。例如，合约 Q1(fork1fork1)|Q2 的就绪集为 {fork,fork2} 。通过异步接受两个 fork 消息，我们可以将问题简化为检查 P1(fork1fork1) | P2 ⪯k thought.Q1 | Q2 是否成立。这一关系可以通过允许 thought 动作发生，随后异步发送两个缓冲的 fork 消息来证明。整体的关系由编排器 g 来证明：

g def
= 
i=1..2⟨forki,forki⟩.
i=1..2⟨forki,forki⟩.
⟨ε,fork⟩.⟨ε,fork⟩.⟨thought,thought⟩.⟨fork,ε⟩.⟨fork,ε⟩

通过编排器 f · g ，松散客户端 C 可以被服务 Q1 | Q2 所满足。

2. 相关工作对比

• 合约与接受树 ：合约实际上是接受树的一种具体表示。早期尝试定义合理的子合约关系，得出需要对动作进行一定控制的结论。不同的研究提出了不同的控制形式，如静态控制和动态控制。
• 细化关系比较