王乐霞 方 欢

（安徽理工大学数学与大数据学院 安徽淮南 232001）

关键字：业务流程模型；变体；编辑距离；拟行为轮廓相似性

随着信息技术的不断发展，商业界也愈发动态多变，这对公司业务流程的调整提出了更高要求。面对商业环境的频繁且未知的变化，流程-软件信息系统（PAISs）[1]应运而生。为保证其市场竞争力，组织和企业不断重新设计或灵活升级其业务流程，因此产生了大量源自同一业务流程的流程变体[2]。这些变体在一定程度上关联相似，但在元素层面、结构层面、行为层面[3]又存在着或多或少的差异。这些变体之间的比较研究，对充分利用流程变体的价值具有重要意义。

文献[4]从变体的结构层面出发，利用图编辑距离的概念研究变体之间的差异性。文献[5]引出了“行为轮廓”的概念，并给出了一致性的判断标准。但在流程比较方面，行为轮廓一致性忽视了插入或删除元素带来的影响。本文引入拟行为轮廓相似性的概念，研究在流程变体距离相等的情况下，原流程与变体在行为关系上的差异性，并合理的区分处理直接行为关系与间接行为关系。

一、相关概念

定义1（流程模型[6]）定义一个六元组PM=(A,G,F,s,e,t)表示一个业务流程模型，其中：

1）A表示包含模型中所有活动的有限活动集；

2）G表示包含模型中所有网关的有限网关集，而N=A∪G表示模型中包含活动和网关在内的所有结点；

3）F表示各结点之间的流弧；

4）s表示整个模型的开始结点；

5）e表示整个模型的终止结点；

6）t表……