8、以工件为中心的业务流程视图框架解析

以工件为中心的业务流程视图框架解析

1. 以工件为中心的业务流程视图概述

在以工件为中心的业务流程（ACP）中，不同角色有不同的视图需求。对于特定角色的 ACP 视图，会为每个工件提供该角色对应的视图。通常，我们假定工件状态在模式中具有唯一性，即一个状态仅属于一个工件类。给定 ACP 模型 ∏ = (Z, V, R)，我们可以使用缩写符号 ∏.ݏ௫ 代替 ∏.ܼ. ܥ. ݏ௫，状态集 ∏.S 表示为 ሪ
∏.
|ࢆ|
࢏
Z.ܥ௜.S。这意味着在 ∏ 中提及一个状态时，它仅与 ∏.Z 中一个对应的工件类匹配，这种缩写符号也适用于 ACP 视图。

2. 工件生命周期模型

2.1 定义

每个工件都有自己的生命周期，展示其状态如何在业务流程中变化。我们采用状态机来捕获每个工件的生命周期，即工件生命周期模型（ALM）。给定 ACP 模型，工件的生命周期模型可以从用于诱导工件状态转换的相应业务规则中推导得出。

Artifact Lifecycle Model 定义如下：给定 ACP 模型 ∏ = (Z, V, R) 和工件类 ܥ௜ = (ܣ௜, ܵ௜)（其中 ܥ௜∈Z），工件类 ܥ࢏ 的工件生命周期模型 ܮܯ஼೔ 可定义为元组 (ܥ௜, T)，其中：
- T⊆ ܥ௜.S × R × ܥ௜.S 是一个三元转换关系，R 是一组业务规则。一个转换 t = (ݏ௦, ݎ௜, ݏ௧)∈T 表示，如果业务规则 ݎ௜ 的前置条件 λ 成立，工件的状态将从源状态 ݏ௦ 转变为目标状态 ݏ௧（其中 ݏ௦, ݏ௧∈ܥ௜.S）。
- ܶכ 是 T 的自反传递闭包。如果存在从 ݏ௜ 到 ݏ௝ 的转换序列，即