3、利用以工件为中心的中心枢纽促进工作流互操作

利用以工件为中心的中心枢纽促进工作流互操作

1. 窗口映射

窗口映射用于限制参与者可以看到哪些工件实例。假设存在一个工件模式 $S = {R_1, \ldots, R_n}$，其中 $R_1, \ldots, R_n$ 是工件类型名称。对于 $j \in [1..n]$，查询 $Q_{\phi}(x,y)$ 若满足以下条件，则它是 $R_j$ 的窗口映射：
1. $x$ 的类型为参与者 ID；
2. $y$ 的类型为工件 ID；
3. $\phi$ 具有 $\exists z(R_j(z) \land z.ID = y \land \psi(x, z))$ 的形式，其中 $\psi$ 是某个公式。

当将 $R_j$ 的窗口映射 $Q_{\phi}(x,y)$ 应用于 $S$ 的快照 $I$ 时，结果为 $Q_{\phi}(x,y)(I) = {(p, g) | I \models \phi[x/p, y/g]}$。需要注意的是，在答案的每个元素中，第二个坐标将是 $I[R_j]$ 中工件快照的 ID。

例如，在招聘组织的示例中，窗口查询可能允许它们仅查看针对该招聘组织赞助的职位空缺的职位申请。对于图 4 的快照，软件集团可以看到所有三名候选人，而研究部门则看不到任何候选人。

在许多情况下，窗口映射会关注当前快照中是否存在某种特定的值模式。例如，评估者可能被允许“查看”所有在评估者属性中提及他的职位申请工件实例。这类没有否定且只有存在量词的窗口映射，与关系模型中的联合合取查询密切相关。

我们可以研究一个窗口映射 $\omega$ 是否比另一个窗口映射 $\omega’$ 限制更少的问题。对于互操作中心枢纽 $H