基于动力学表达式的业务流程行为偏差分析方法
【专利摘要】一种基于Petri网动力学表达式的业务流程模型行为偏差的分析方法，利用Petri网的动态行为特征，分析两个业务流程模型的发生序列中变迁对应关系，构造动力学表达式，通过计算匹配序列间的行为距离，并结合行为轮廓对行为活动的约束关系，分析模型间存在的行为偏差。本发明提出的业务流程模型行为偏差分析的新方法，能有效地解决业务流程模型行为匹配度较低，测量结果可能不精确问题，对业务流程模型的一致性分析有较大优势。
【专利说明】基于动力学表达式的业务流程行为偏差分析方法
【技术领域】
[0001]本发明属于电子商务信息【技术领域】，涉及流程模型中一种基于Petri网动力学表达式的业务流程模型行为偏差分析方法，包括定义并计算出模型间的行为继承度，再结合行为轮廓对行为活动的约束关系，分析模型间存在的行为偏差。
【背景技术】
[0002]在互联网环境下，将服务对象及其特征行为用Petri网相关语言进行建模，在模型中研究解决实际问题，是大多数公司企业处理问题的常用方法。而要模型投入实际生产，不仅要模型本身的合理性，还需考虑模型的实际操作可能性。一般情况下，若不考虑实际资源背景，建模专家所建立的最理想化模型，即源模型，是概述实际问题的最佳参考模型。但是源模型的理想化限制了其在实际环境中的可用性，重新构建一个目标模型是克服这类难题的最有效方法之一。为不影响实验条件，构建的目标模型必须满足行为一致性，否则会使结果不可信。而测量一致性度的方法在此时显得尤为重要。
[0003]对同一目标，不同专家建立的模型往往是不同的。这些模型都满足功能要求，包含相同的任务。尽管如此，它们的一致性程度可能是千差万别的。以往的测量一致性的方法，对行为匹配差距较大的模型的服务度较低，测量结果可能有偏差。怎样分析这类模型行为有多大偏差，是测量模型匹配度的重点所在。
【发明内容】
[0004]本发明所要解决的技术问题是:在基于Petri网基础之上，建立一个目标流程模型，利用Petri网的动态行为特征，分析两个模型发生序列中变迁的一致性对应，构造动力学表达式，通过计算匹配序列间的行为距离，定义并计算出模型间的行为继承度，再结合行为轮廓对行为活动的约束关系，分析模型间存在的行为偏差。
[0005]为解决以上技术问题，本发明采用如下的技术方案:
[0006]对执行结果相同的两个发生序列，将其在语义上检测到的异同性定义为行为距离。显然，两个执行序列在语义上越相似，其行为距离越小。通过插入或删除某些变迁来匹配发生序列，在所有匹配序列中寻找最适合的，即执行任务一致，行为距离最小的序列。基于以上分析，可以得到源序列的行为距离。
[0007]由于序列匹配时每插入一个变迁，其相似性随之降低。故最匹配的序列应为相似性较高，长度较短的扩展序列。由此特征可以找出源序列的最匹配序列。对所有的匹配序列，通过计算相似性和差异性，采用迭代的方式不断更新行为距离，直到其变化范围很小，即处于规定的误差范围之内。由定义的动力学表达式得出它们的行为距离。
[0008]模型的语义学特征，主要体现在执行序列中。给定两个模型，列出每个模型的所有可发生序列，将序列多的模型作为基模型，对基模型中的每条序列在另一个模型中找出与之最相似的序列，即所含变迁种类及变迁最匹配的序列。如果它们是天然匹配的，则可计算出序列的相似性和行为距离；否则，先从它们的扩展集中找出最匹配序列，再计算相似性和行为距离。最后可以计算出两个模型间的行为继承。
[0009]在两个给定的模型中，对模型的所有可发生序列，先找到对应模型中与之最相似的序列，再进行匹配，得到一个匹配的序列对。由相关动力学表达式，计算序列间的相似性和行为距离，再由行为继承的表达式，计算模型间的行为继承。此方法不仅考虑了模型间的相似性，还充分考虑了模型间存在的差异性，具有较高的合理性。
[0010]行为继承代表了模型在语义学上存在的相似性与差异性。但是利用行为轮廓的约束条件，行为偏差可以描述模型在语义学和结构学上存在的相似性与差异性。
[0011]对给定的两个模型中，考虑到模型中直接变迁对所满足的行为轮廓关系，可计算行为关系有效值。由此可以定义两个模型在结构上的相似性，结合行为继承和结构相似，可以计算模型间的行为偏差。
【专利附图】
【附图说明】
[0012]图1是本发明的一种实施的流程图。
[0013]图2是本发明的序列间行为距离的计算步骤图。
[0014]图3是本发明的模型间行为继承的计算步骤图。
[0015]图4是本发明的模型间行为偏差的计算步骤图。
【具体实施方式】
[0016]本发明提出基于动力学表达式通过计算序列间的距离来计算模型间的行为继承。并在此基础利用行为轮廓和行为继承计算出业务流程模型的行为偏差。
[0017]以下结合附图对本发明作进一步的说明。
[0018]图1是本发明的一种实施的流程，包括序列间行为距离的计算、模型间的行为继承计算和模型间的行为偏差计算。如图所示，在流程模型中，由网最小语义，找出所有执行序列，适配后再进行匹配，由动力学表达式计算其行为距离。由相似性和行为距离计算出模型间的行为继承。利用行为轮廓得到行为关系，结合行为继承和结构相似，由此计算出业务流程模型的行为偏差。
[0019]图2是描述了序列间行为距离的计算步骤，由网执行语义，找出这些执行序列后适配成对。由匹配序列的性质，若序列不是天然匹配的，则需进行自然匹配，得到的所
,一, ,, ,、.^ sam(a',,σ'-,) occ(a,,ο/Λ’?σ:，σ:)、
有匹配序列。由公式~' Y 、'」，^
、 ηCiii\σ^，σ，) η ση?\σχ ) J
和计算最匹配序列的相似 Iv η αη?{σ^σ2) n J
性和差异性。通过迭代的方式连续更新行为距离，带入动力学表达式AUy)=max (x, y) + [0.2min(x, y)] , f2 (x, y, z, u) = 0.7x+0.2y+0.5z+0.5u, f 3 (x, y, z)=0.8x-0.ly-0.1z |，f4 (x, y) = 0.75x+0.25y 计算匹配序列的行为距离。
[0020]图3描述了模型间的行为继承计算步骤，给定两个模型，在初始标识下，列出每个模型的所有可发生序列，将序列多的模型作为基模型，找出基模型所有可发生序列数的总和。在另一个模型中找出与基模型之最相似的序列，即所含变迁种类及变迁最匹配的序列。计算出序列的相似性与行为距离。最后两个模型间的行为继承可计算如下:
[0021 ] heri(B, ,B2) =./； (.、■/./‘;,, σ'2?) + disl{a[: ’ σ；,))，./； (Xl,.ν, ,Λ , xm)=丄 Σ "ν/
[0022]图4描述了本发明中模型间的行为偏差计算步骤，在两个模型中，考虑到模型中直接变迁对所满足的行为轮廓关系，计算行为关系有效值，给出两个模型在结构上的相似性:
[_])==----
[0024]再结合行为继承与结构相似，下面给出模型间行为偏差的计算式:
[0025]devi (BPpij BPp2) = f6 (heri (BPpij BPp2)，strs (BPpij BPp2))
[0026]f6(x, y) = l_0.8x_0.2y。
【权利要求】
1.业务流程网中基于Petri网动力学表达式的业务流程模型行为偏差分析方法，包括序列间行为距离的计算、模型间的行为继承计算和模型间行为偏差计算，其特征在于:利用Petri网的动态行为特征，构造业务流程模型的动力学表达式，通过计算匹配序列间的行为距离，并结合行为轮廓对行为活动的约束关系，分析模型间存在的行为偏差。
2.根据权利要求1所述的序列间行为距离计算方法，其特征在于:所述的计算方法是在利用业务流程的序列进行匹配，包括复杂对应下的行为序列匹配，利用动力学表达式计算匹配序列的行为距离。
3.根据权利要求1所述的模型间的行为继承计算方法，其特征在于:在执行序列中，根据流程模型变迁间的弱序关系，分析所含行为轮廓弱序关系的种类及变迁匹配序列。找出最佳匹配序列，分析他们的行为相似性和行为距离，并分析出两个模型间的行为继承关系。
4.根据权利要I所述的模型间行为偏差计算方法，其特征在于:对给定的两个模型中，考虑到模型中直接变迁对所满足的行为轮廓关系，可计算行为关系有效值。由此可以定义两个模型在结构上的相似性，结合行为继承和结构相似，可以计算模型间的行为偏差。
【文档编号】G06F19/00GK104318125SQ201410648889
【公开日】2015年1月28日 申请日期:2014年11月14日 优先权日:2014年11月14日
【发明者】方新建, 刘祥伟, 方贤文, 王晓悦, 殷志祥 申请人:安徽理工大学