基于模態Petri網尋找業務流程最優路徑的新方法
【專利摘要】一種基于模態Petri網的尋找最優行為執行路徑的新方法，涉及業務流程行為有效區間的確立和基于分支有效區間的路徑優化。首先根據流程網的結構特征確立分支區域集。對分支區域中的每個分支子流程，通過映射活動變遷的約束關系來計算分支有效值，以確立分支子區間，并進一步優化成分支有效區間。在分支有效區間內，考慮行為約束條件，確定每個分支子流程中的局部最優執行路徑，進而逐步動態演化確定整個流程模型的最優執行路徑。本發明提出了最優路徑尋找的新方法，有效地解決了在行為約束下的模型網中行為有效性的計算和尋找最優路徑的問題，避免了現有的固定值方法中因行為約束的存在而引起的局部最優路徑變化的缺陷。
【專利說明】基于模態Petri網尋找業務流程最優路徑的新方法
【技術領域】
[0001]本發明屬于電子商務信息【技術領域】，涉及流程模型中一種新的最優路徑尋找方法，包括建立分支有效區間和一種基于區間的路徑優化方法。
【背景技術】
[0002]隨著計算機技術軟件平臺的不斷成熟，以及流程模型應用領域的逐步擴展，勢必會出現由多個子流程組合而成的大粒度的業務流程模型，以解決單個服務對象不能滿足所需功能的問題。這些子流程之間蘊含了執行邏輯，不同的子流程可實現相同的行為服務，但執行結果往往存在一定的差異。針對這種情況，以滿足用戶所需功能為前提，在一定的行為約束條件下研究流程模型中行為執行的結果屬性顯得尤為重要，而尋找流程模型中行為執行的最優路徑則成為關鍵所在。
[0003]行為執行路徑在實際的流程模型中，其最優解的判斷復雜，執行路徑存在很大的可選性。傳統的查找方法僅能反映一條可執行路徑在整個模型區域中的執行特征，但是對于其他可執行路徑所包含的特征信息卻不考慮。確立的分支子區間，包含大量執行路徑信息，采用局部最優值進行約簡的過程中，需要考慮行為約束條件對執行路徑的選擇影響，遺失了大量有用信息，降低了查找最優路徑的精確度。采用固定值方法，存在局限化查找區域的缺點，無法保證最優路徑的準確性。現有的針對最優執行路徑的查找方法都不能很好的提高最優路徑查找的全面性和準確性。

【發明內容】

[0004]本發明所要解決的技術問題是:提供一種基于模態Petri網的分流部分區域有效性量化，并在此基礎上進行基于分支有效區間的最優路徑尋找，用以有效地指導行為執行的路徑選擇。
[0005]為解決以上技術問題，本發明采用如下的技術方案:
[0006]對于分流部分區域劃分，本發明根據流程網的結構特征，對網中執行結果存在差異的部分，將同一出入口的分支路徑劃分到一個總的分支區域，其內部的分支路徑為分支子流程。
[0007]根據所確立的分支子流程，可以計算行為輪廓關系權值，由行為輪廓關系約束條件確定可執行關系，從而計算分支有效值，再由行為關系的有效性，確立分支子區間。對每個分支區域，從結構角度，將所有分支子區間集成一個總的分支有效區間。
[0008]對于基于分支有效區間的最優路徑查找，以分支子流程為單位，對第一區間內的第一分支子流程，計算該子流程內的局部最優執行路徑。
[0009]當行為執行到第二區間時，以在第一區間第一分支子流程找到的局部最優路徑為基點，在行為約束條件下，計算所有執行路徑的執行結果，得出局部最優路徑，即為第二區間下的局部最優路徑。
[0010]按照上述方法，隨著行為執行，可在分支有效區間內找出第一區間第一分支子流程下的最優執行路徑。同理，對第一區間內的其余分支子流程，也可找出該子流程下的最優執行路徑。
[0011]對第一區間內所有分支子流程下的最優執行路徑，通過比較行為執行結果，選出最優解下的執行路徑，即為約束條件下的行為最優執行路徑。
【專利附圖】

【附圖說明】
[0012]圖1是本發明的流程模型圖。
[0013]圖2是本發明的一種實施的流程圖。
[0014]圖3是本發明的分支有效區間的計算步驟圖。
[0015]圖4是本發明的基于分支有效區間尋找最優路徑的步驟圖
【具體實施方式】
[0016]本發明提出基于模態Petri網的分流部分的區域劃分與有效性量化，并在此基礎集成分支有效區間，在區間內比較行為執行結果，并考慮行為約束條件來保證尋找結果的最優性。
[0017]以下結合附圖對本發明作進一步的說明。
[0018]圖1所示，在流程模型中，根據結夠特征，找出所有的分支區域，每個分支區域包含數個分支子流程，且不同的分支區域內可能存在行為約束。
[0019]圖2是本發明的一種實施的流程，包括分支區域量化和最優路徑尋找。如圖所示，由結夠特征找出模型中的所有分支區域，再分割成不同的分支子流程，利用行為輪廓關系，計算分支有效值，將得到的分支子區間集成分支有效區間，在第一區間內，找出所有分支子流程下的最優執行路徑并進行比較，確定最優路徑。
[0020]圖3描述了分支有效區間的計算步驟，其中有效執行關系為交叉序和嚴格序，嚴格序、并行序、弱交叉序和循環序的關系權值計算公式為
【權利要求】
1.流程網中尋找最優執行路徑的新方法，包括行為有效區間的確立和基于分支有效區間的路徑優化方法，其特征在于:通過流程網的結構特征和結構類型對模型中的分流部分進行區域有效性量化，并在此基礎上進行基于分支有效區間的最優路徑尋找，用以有效地指導行為執行的路徑選擇。
2.根據權利要求1所述的分流區域有效性量化方法，其特征在于:所述的量化方法是在利用流程網的結構特征對模型進行區域劃分的條件下，并通過行為輪廓序關系約束條件確定有效行為關系權值，完成分支區域有效性計算，計算結果有效性非常高。
3.根據權利要求1所述的基于分支有效區間的最優路徑尋找方法，其特征在于:所述的方法利用集成方法將分支子區間優化成分支有效區間，以第一區間為起點，通過考慮行為約束條件，將不可執行的分支路徑排除在外，對分支執行路徑進行執行性簡約。
4.根據權利要3所述的區間集成方法，其特征在于:所述的方法將模型中所有執行結果相異的部分考慮在內，利用行為約束條件來度量行為執行的有效區域。
【文檔編號】H04L12/707GK103595630SQ201310577515
【公開日】2014年2月19日 申請日期:2013年11月15日 優先權日:2013年11月15日
【發明者】方賢文, 陶小燕, 楊艷, 劉祥偉, 方新建 申請人:安徽理工大學