17、工件中心工作流主导性解析

工件中心工作流主导性解析

1. 引言

随着全球经济日益全球化，对效率的追求不断提升，工作流和业务流程自动化的重要性愈发凸显。工作流管理中的一个基本问题是理解一个工作流（模式）何时能够模拟另一个工作流。在实际应用中，这对于工作流的演进和集成至关重要，因为可能需要验证新工作流是否能忠实地模拟旧工作流。

近年来，一种以数据为中心的工作流建模方法逐渐兴起，其中数据和流程在工作流的基本构建块中紧密耦合。一类以数据为中心的工作流模型围绕“业务工件”展开，它提供了一种简单而强大的工作流结构，并在实践中证明能提高业务转型的效率。

本文首次对工件中心工作流的工作流模拟进行了研究。具体而言，我们开发了一个基本框架，用于刻画一个工件中心工作流何时“主导”另一个工作流，并针对一种特定的主导性——“绝对主导性”，给出了有界和无界工作流执行的可判定性和复杂性结果。

2. 工件中心工作流

我们使用一种特定形式的工件中心工作流，借助带有等式、谓词、常量和可能的函数符号的一阶逻辑 L，在具有非空、可能无限域的解释结构上进行操作。以下是相关定义：
- 工件（数据模式） ：
- 是一个非空的属性名称集合 A。
- 这些名称被划分为三个集合：输入属性集合 IA、临时属性集合 TA 和非空的输出属性集合 OA。
- 工件 A 的快照 σ 是一个属性映射，其定义域为 A。如果对于每个 a ∈ IA，σ(a) ≠ ⊥，且对于每个 a ∈ A \ IA，σ(a) = ⊥，则 σ 是初始快照；如果对于每个 a ∈ OA，σ(a) ≠ ⊥，则 σ 是完整快照。
- 服务