29、时间感知流程的变更处理解析

时间感知流程的变更处理解析

1. 时间感知流程基础

时间感知流程模型在执行时，需进行活动和控制连接操作，同时遵循一组时间约束。若能在不违反相关时间约束的情况下执行所有执行路径，该流程模型则具有时间一致性。对于支持时间感知流程的系统而言，在设计时检查流程模型的时间一致性，以及在运行时监控和重新检查相应实例的时间一致性，是至关重要的任务。

时间感知流程模型的时间一致性可通过将其映射到条件简单时间网络（CSTN）来检查。CSTN 是一个 6 元组 ⟨T, C, L, OT, O, P⟩，具体如下：
- T：一组实值变量，称为时间点。
- P：一组有限的命题字母（或命题）。
- L：一个为 T 中的每个时间点分配标签的函数，标签是 P 中（正或负）字母的任意（可能为空）合取。
- C：一组带标签的简单时间约束，每个约束 cXY ∈C 具有形式 cXY = ⟨[x, y]XY, β⟩，其中 X, Y ∈T，−∞ ≤ x ≤ y ≤ ∞，β ∈P ∗ 是一个标签。
- OT：T 的一个子集，是观察时间点的集合。
- O：一个双射，将 P 中的每个命题字母与一个唯一的观察时间点关联起来。

时间点代表瞬时事件，例如与活动的开始/结束相关。在观察时间点，会对可能的执行路径做出决策。约束 cXY = ⟨[x, y]XY, β⟩ 表示时间点 X 和 Y 之间的时间跨度必须至少为 x 且至多为 y，即 Y - X ∈[x, y]。每个时间点（约束）附带的标签表示 CSTN 的可能执行情况，只有当相应标签在各自实例中可满足时，才会考虑特定的时间点（约束）。

元素