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

【發(fā)明內(nèi)容】

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

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