24、业务流程建模中的指导与优化

业务流程建模中的指导与优化

1. 流程细化的表示与验证

在业务流程建模中，流程细化是一个重要的环节。为了对流程细化进行验证，需要将其表示在细化本体中。
- 细化约简
- 消除并行网关 ：并行分支隐式描述了所有可能的执行情况，但不同并行分支活动的顺序未明确界定。因此，将所有并行网关替换为能明确所有可能执行情况的排他网关，得到的简化流程模型称为执行图（EDP）。
- 执行集约简 ：若流程模型存在循环，执行集可能是无限的，而前驱和后继集是有限的。对于执行图 EDP 中的每个活动 a，其前驱集 PSP(a) 是通过直接链接或仅包含网关的序列到达 a 的所有活动的集合；后继集 SSP(a) 是通过直接链接或仅包含网关的序列从 a 出发的所有活动的集合。通过获取所有活动的这两个集合，两个执行集之间的关系可由以下属性表征：ESQ ⊆ ESP 当且仅当对于所有 a ∈ Q，PSQ(a) ⊆ PSP(a) 且 SSQ(a) ⊆ SSP(a)。这样，就将可能无限的执行集比较简化为有限的前驱和后继集比较。
- 细化表示
- 概念与角色 ：活动表示为概念，前驱和后继关系由角色 from 和 to 表示，水平细化（hori - 函数）由角色 compose 表示，垂直细化（vert - 函数）由角色 groundedTo 表示。
- 操作符定义 ：为在一个本体中验证预细化和后细化流程，定义了以下操作符：
- 预细化 - from 操作符 Prfrom(