[發明專利]基于動力學表達式的業務流程行為偏差分析方法

在審

• 申請號: 201410648889.4
• 申請日: 2014-11-14
• 公開（公告）號: CN104318125A
• 公開（公告）日: 2015-01-28
• 發明（設計）人: 方新建;劉祥偉;方賢文;王曉悅;殷志祥
• 申請（專利權）人: 安徽理工大學
• 主分類號: G06F19/00
• 分類號: G06F19/00
• 代理公司: 暫無信息
• 代理人: 暫無信息

技術領域

本發明屬于電子商務信息技術領域，涉及流程模型中一種基于Petri網動力學表達式的業務流程模型行為偏差分析方法，包括定義并計算出模型間的行為繼承度，再結合行為輪廓對行為活動的約束關系，分析模型間存在的行為偏差。

背景技術

在互聯網環境下，將服務對象及其特征行為用Petri網相關語言進行建模，在模型中研究解決實際問題，是大多數公司企業處理問題的常用方法。而要模型投入實際生產，不僅要模型本身的合理性，還需考慮模型的實際操作可能性。一般情況下，若不考慮實際資源背景，建模專家所建立的最理想化模型，即源模型，是概述實際問題的最佳參考模型。但是源模型的理想化限制了其在實際環境中的可用性，重新構建一個目標模型是克服這類難題的最有效方法之一。為不影響實驗條件，構建的目標模型必須滿足行為一致性，否則會使結果不可信。而測量一致性度的方法在此時顯得尤為重要。

對同一目標，不同專家建立的模型往往是不同的。這些模型都滿足功能要求，包含相同的任務。盡管如此，它們的一致性程度可能是千差萬別的。以往的測量一致性的方法，對行為匹配差距較大的模型的服務度較低，測量結果可能有偏差。怎樣分析這類模型行為有多大偏差，是測量模型匹配度的重點所在。

發明內容

本發明所要解決的技術問題是：在基于Petri網基礎之上，建立一個目標流程模型，利用Petri網的動態行為特征，分析兩個模型發生序列中變遷的一致性對應，構造動力學表達式，通過計算匹配序列間的行為距離，定義并計算出模型間的行為繼承度，再結合行為輪廓對行為活動的約束關系，分析模型間存在的行為偏差。

為解決以上技術問題，本發明采用如下的技術方案：

對執行結果相同的兩個發生序列，將其在語義上檢測到的異同性定義為行為距離。顯然，兩個執行序列在語義上越相似，其行為距離越小。通過插入或刪除某些變遷來匹配發生序列，在所有匹配序列中尋找最適合的，即執行任務一致，行為距離最小的序列。基于以上分析，可以得到源序列的行為距離。

由于序列匹配時每插入一個變遷，其相似性隨之降低。故最匹配的序列應為相似性較高，長度較短的擴展序列。由此特征可以找出源序列的最匹配序列。對所有的匹配序列，通過計算相似性和差異性，采用迭代的方式不斷更新行為距離，直到其變化范圍很小，即處于規定的誤差范圍之內。由定義的動力學表達式得出它們的行為距離。

模型的語義學特征，主要體現在執行序列中。給定兩個模型，列出每個模型的所有可發生序列，將序列多的模型作為基模型，對基模型中的每條序列在另一個模型中找出與之最相似的序列，即所含變遷種類及變遷最匹配的序列。如果它們是天然匹配的，則可計算出序列的相似性和行為距離；否則，先從它們的擴展集中找出最匹配序列，再計算相似性和行為距離。最后可以計算出兩個模型間的行為繼承。

在兩個給定的模型中，對模型的所有可發生序列，先找到對應模型中與之最相似的序列，再進行匹配，得到一個匹配的序列對。由相關動力學表達式，計算序列間的相似性和行為距離，再由行為繼承的表達式，計算模型間的行為繼承。此方法不僅考慮了模型間的相似性，還充分考慮了模型間存在的差異性，具有較高的合理性。

行為繼承代表了模型在語義學上存在的相似性與差異性。但是利用行為輪廓的約束條件，行為偏差可以描述模型在語義學和結構學上存在的相似性與差異性。

對給定的兩個模型中，考慮到模型中直接變遷對所滿足的行為輪廓關系，可計算行為關系有效值。由此可以定義兩個模型在結構上的相似性，結合行為繼承和結構相似，可以計算模型間的行為偏差。

附圖說明

圖1是本發明的一種實施的流程圖。

圖2是本發明的序列間行為距離的計算步驟圖。

圖3是本發明的模型間行為繼承的計算步驟圖。

圖4是本發明的模型間行為偏差的計算步驟圖。

具體實施方式

本發明提出基于動力學表達式通過計算序列間的距離來計算模型間的行為繼承。并在此基礎利用行為輪廓和行為繼承計算出業務流程模型的行為偏差。

以下結合附圖對本發明作進一步的說明。

圖1是本發明的一種實施的流程，包括序列間行為距離的計算、模型間的行為繼承計算和模型間的行為偏差計算。如圖所示，在流程模型中，由網最小語義，找出所有執行序列，適配后再進行匹配，由動力學表達式計算其行為距離。由相似性和行為距離計算出模型間的行為繼承。利用行為輪廓得到行為關系，結合行為繼承和結構相似，由此計算出業務流程模型的行為偏差。