以工件为中心的视图方法与网页体裁识别优化
1. 以工件为中心的视图方法
在跨组织业务流程建模中,以工件为中心的视图方法至关重要。当工件与非本地绑定的工件同步时,传递性可能无效。例如,在特定情境下,$C_1$ 的生命周期是本地绑定的,因为同步 $d_2$ 和 $d_3$ 发生在 $C_A’$ 的 SESE 片段 $lf_1$ 内,而 $C_3$ 的生命周期通过 $d_3$ 具有传递性的本地绑定。相反,$C_2$ 的同步 $d_5$ 和 $d_6$ 发生在工件 $C_B’$ 的非 SESE L - 片段 $lf_3$ 中,所以 $C_2$ 的生命周期不是本地绑定的。
若组织想基于公共视图对私有视图进行生命周期修改,需确保本地修改不违反视图一致性。生命周期修改 $\Sigma_l = (LM_l, LF_l)$ 对于 $\Pi_l$ 基于合理的 $p(\Pi)$ 是有效的,需满足以下条件:
- 对于每个 $L$ - 片段 $lf_j \in LF_l$,$lf_j$ 是 SESE L - 片段。
- 对于每个生命周期 $\mathcal{L} {C_i}^l \in LM_l$,$\mathcal{L} {C_i}^l$ 是本地绑定的。
- $\Pi_l$ 的 ACC 机器的 $L$ - 出现被 $p(\Pi)$ 的 ACC 机器的 $L$ - 出现所覆盖(即 $\Pi_l$ 符合 $p(\Pi)$),并且 $\Pi_l$ 是合理的。
通过仅检查本地生命周期修改,我们可以断言合理性属性与一致性。只要保持有效修改,对私有视图的任何更改都不会影响协作行为。
在相关工作方面,不同学者在工件中心的流程建模领域做出了贡献:
超级会员免费看
订阅专栏 解锁全文
51

被折叠的 条评论
为什么被折叠?



