[发明专利]噪声环境下确定工作流轨迹中循环执行次数的方法

摘要

本发明公开了一种噪声环境下确定工作流轨迹中循环执行次数的方法，包括：输入由带有循环的Petri网表示的工作流模型和工作流轨迹日志，根据工作流模型计算其结构信息；解析工作流轨迹日志得到事件序列，将事件序列中的每个事件加入多重集中，计算多重集中每个元素的重数，判断工作流模型中循环是否嵌套；对于不带嵌套的循环，运用启发式规则计算工作流轨迹的循环次数；对于带嵌套的循环，先运用启发式规则计算外层循环次数，再将工作流轨迹分段，最后利用启发式规则计算每个分段的内层循环次数。本发明提出了确定工作流轨迹中循环执行次数的新思路，可用于日志恢复等进一步工作。

主权项

1.一种噪声环境下确定工作流轨迹中循环执行次数的方法，其特征在于，步骤如下：输入由带有循环的Petri网表示的工作流模型和工作流轨迹日志，根据工作流模型计算其结构信息；所述由带有循环的Petri网表示的工作流模型为一个三元组PN＝(P，T，F)，其中P为库所的有限集，T为变迁的有限集，F为Petri网的有向边，结构信息中循环体为有向图中的环路，F₁为循环体中至少执行一次的结构块，F₂为循环体中执行次数比F₁执行次数少一次的结构块；计算结构信息的具体过程为：使用有向图中寻找所有环路的算法得到所有循环体；对于每一个循环体，计算循环体中每一个元素在PN中的入度和出度，取循环体中从入度大于1的元素到出度大于1的元素的部分作为该循环体的F₁，取循环体中除F₁之外的剩余部分作为该循环体的F₂；对于PN，将每一个循环体中的F₁和F₂结构分别加入F₁和F₂的集合F₁s和F₂s中；解析工作流轨迹日志得到事件序列，将事件序列中的每个事件加入多重集中，计算多重集中每个元素的重数，判断工作流模型中循环是否嵌套；具体过程为：工作流轨迹日志中事件为event₁，event₂......，事件序列为σ＝event₁event₂event₃......；多重集em＝{event₁，event₂，event₃，......}为允许同一种元素出现次数大于1的集合，对于任意多重集中的任意元素e，元素e的重数m(e)表示e在多重集中在出现的频数；遍历事件序列σ，将事件序列σ中的每个事件σ[i]加入em中，i为事件序列中事件索引，计算em中每个事件的重数；对F₁s进行遍历，若F₁s中的任意两个元素存在交集，则工作流中的循环存在嵌套，否则没有嵌套；对于不带嵌套的循环，运用启发式规则计算工作流轨迹的循环次数；启发式规则为对于任意的多重集M，设元素t为M中主要元素，t＝domi(M)，m(t)≥m(t')；quot(L)为循环体L的循环次数，循环体L的F₁和F₂结构分别为F_L1和F_L2；对于不带嵌套的循环，运用启发式规则计算工作流轨迹的循环次数的具体过程为：S11，以em中元素的重数构建另一多重集M_L，M_L＝{m’(x)|x∈s(σ)∩F_L1}∪{m’(y)+1|y∈s(σ)∩F_L2}，其中s(σ)为事件序列σ中的所有事件，m’(x)和m’(y)为元素x和y在em中的重数；S12，应用启发式规则，求出domi(M_L)；S13，quot(L)＝domi(M_L)‑1；对于带嵌套的循环，先运用启发式规则计算外层循环次数，再将工作流轨迹分段，最后利用启发式规则计算每个分段的内层循环次数。