9、业务流程视图与非管理业务流程监控

业务流程视图与非管理业务流程监控

1. 业务规则属性命题与条件

在业务规则 $r$ 的条件语句 $y\in{\lambda, \beta}$ 中，$\lambda$ 和 $\beta$ 分别为规则 $r$ 的前置条件和后置条件。这里存在两个条件：
- 条件 (1)：用于保持入口转换的一致性，即前置条件中的一组属性条件必须相同，后置条件也如此。
- 条件 (2)：用于出口转换，后置条件中的一组属性条件必须相同，但前置条件可以通过在转换的源状态上添加补偿条件来设置更强的条件。

2. 相关工作对比

相关工作	主要内容	与本文工作对比
Gerede 和 Su	提出以工件为中心的业务流程规范的形式化模型，用带状态的面向对象类表示工件类，用有保护的有限状态自动机捕获业务模型中实体的逻辑	本文在其基础上进行调整，增加了捕获嵌套状态以构建工件视图的规范
Zhao 等人	基于角色感知控制的视角提出流程视图方法，定义了构建的流程视图与其底层流程视图之间的一致性和有效性规则	他们的工作针对传统的以活动为中心的业务流程进行流程视图构建，而本文为以工件为中心的业务流程提出视图框架
Küster 等人	提出从一组给定的参考对象生