專利名稱：一種業(yè)務流程間交互沖突的半自動修正方法及其系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及計算機軟件應用領(lǐng)域中的業(yè)務流程建模和管理領(lǐng)域，本發(fā)明涉及一種 業(yè)務流程間交互沖突的半自動修正方法及其系統(tǒng)。
背景技術(shù)：
業(yè)務流程是業(yè)務需求的一種表現(xiàn)形式，用戶的需求開始，在用戶需求得到滿足后 結(jié)束。業(yè)務流程的概念最早出現(xiàn)在90年代早期，他產(chǎn)生的動機來源于對流程重新設計以適 應新的變換從而提升企業(yè)的競爭力，作為對工作流的擴展業(yè)務過程管理系統(tǒng)更強調(diào)過程的 重設計，適應了信息系統(tǒng)發(fā)展的趨勢即從系統(tǒng)的詳細設計到系統(tǒng)的重設計和系統(tǒng)的有機生 長。業(yè)務流程與工作流都能使業(yè)務過程自動化和協(xié)同工作并提高工作效率。隨著信息技術(shù)的進步，特定的業(yè)務功能不再由單一的企業(yè)或者組織來實現(xiàn)，而是 通過現(xiàn)有業(yè)務流程之間的交互和協(xié)同完成，這種開發(fā)模式能夠極大縮短開發(fā)時間、節(jié)約開 發(fā)成本。業(yè)務流程可以采用業(yè)務流程建模標記(BusinessProcess Model Notation,BPMN) 來建模。BPMN是由OMG組織制定的業(yè)務流程建模的標準，它由一系列用來構(gòu)建業(yè)務過程的 標準圖標組成，并不與任何一種實現(xiàn)技術(shù)緊密耦合。BPMN不僅能夠?qū)崿F(xiàn)單個業(yè)務流程建模 而且能夠?qū)崿F(xiàn)多流程和他們之間交互的建模。BPMN是首個用于跨組織業(yè)務過程建模的開放 標準業(yè)務流程建模語言，它能夠很容易地被高層業(yè)務人員閱讀和理解并且便于不同企業(yè)之 間的交流。雖然采用BPMN進行業(yè)務流程建模存在很多好處，但也存在很多不足，其中很重要 的一點是采用BPMN進行多業(yè)務流程間交互的建模時，容易導致業(yè)務流程間交互發(fā)生沖突。 所謂業(yè)務流程間交互發(fā)生沖突是指業(yè)務流程無法正確完成他們之間的交互。業(yè)務流程交互 的不匹配的深層次原因在于業(yè)務流程所表達的業(yè)務需求之間存在矛盾。當業(yè)務流程間出現(xiàn)交互沖突時，目前主要采用兩種方式解決交互沖突的問題，分 別是構(gòu)建適配器和修改業(yè)務流程。在發(fā)現(xiàn)交互沖突的不同模式的基礎上，針對不同的沖突 模式構(gòu)建適配器，這種方法不能很好的處理各種類型的交互死鎖問題。通過尋找修改代價 最小的修正計劃來消除流程間交互的沖突，這種方式僅僅為業(yè)務開發(fā)人員提供了單一的解 決方案，沒有考慮業(yè)務需求以及業(yè)務人員的決策作用。

發(fā)明內(nèi)容
本發(fā)明的一目的在于提供一種業(yè)務流程間交互沖突的半自動修正方法及其系統(tǒng)， 用于提供多樣的修正計劃，合理度量修正計劃的修改代價，并避免在修改過程中重新引入 新的交互沖突的問題以及減少修正計劃的計算時間。為了實現(xiàn)上述目的，本發(fā)明提供一種業(yè)務流程間交互沖突的半自動修正方法，其 特征在于，包括步驟一，識別存在交互沖突的業(yè)務流程模型的獨立編輯區(qū)域；步驟二，針對每個所述獨立編輯區(qū)域計算修正計劃及其相應的修改代價；
步驟三，根據(jù)每個所述獨立編輯區(qū)域的修正計劃及其相應的修改代價，計算存在 交互沖突的業(yè)務流程模型的修正計劃及其相應的修改代價。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，所述步驟一中，所述獨立編輯區(qū)域由業(yè)務流程間發(fā)生沖突的交互對以及結(jié)構(gòu)良好的子流程構(gòu)成， 所述獨立編輯區(qū)域滿足如下兩個條件，分別是條件1 在修正完成所述獨立編輯區(qū)域中的所有發(fā)生沖突的交互對后，不會再有 任何交互沖突涉及到所述獨立編輯區(qū)域中所包含的交互；條件2 所述獨立編輯區(qū)域的任何一個發(fā)生沖突的交互對不會造成業(yè)務流程間出 現(xiàn)新的發(fā)生沖突的交互對。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，所述步驟一，具體包括遍歷業(yè)務流程間發(fā)生沖突的交互對，若發(fā)生沖突的交互對是獨立編輯區(qū)域的種 子，則根據(jù)種子生成獨立編輯區(qū)域；若所生成的獨立編輯區(qū)域之間包含相同的活動，則將這些獨立編輯區(qū)域合并，直 至不再有獨立編輯區(qū)域之間包含相同的活動。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，所述根據(jù)種子生成獨立編輯區(qū)域的步驟具體包括根據(jù)該種子分別生成包含該種子中涉及活動的最小結(jié)構(gòu)的子流程，由這些子流程 和該種子構(gòu)成所述獨立編輯區(qū)域；遍歷流程模型間的交互，若該交互中涉及的活動僅有一個處于所述獨立編輯區(qū) 域，則將該交互加入所述獨立編輯區(qū)域，并根據(jù)該交互生成新的子流程更新獨立編輯區(qū)域。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，該種子是指發(fā)生沖突的交互對處于同一獨立編輯區(qū)域，若發(fā)生沖突的交互對之間 的結(jié)構(gòu)關(guān)系包含完全互斥或同時包含順序前和順序后，則將該交互對看作獨立編輯區(qū)域的 種子。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，所述步驟二中，每個所述獨立編輯區(qū)域的修正計劃由業(yè)務流程內(nèi)部活動之間的結(jié)構(gòu)關(guān)系的改變表不。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，所述步驟二中，每個所述獨立編輯區(qū)域的修正計劃對應的修改代價由業(yè)務流程內(nèi)部活動之間結(jié) 構(gòu)關(guān)系的改變數(shù)量來度量。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，所述步驟二中，進一步包 括使用分支定界方法計算任意所述獨立編輯區(qū)域的多種修正計劃的步驟1)將所述獨立編輯區(qū)域加入一列表；2)若該列表不為空，取出該列表中的一個獨立編輯區(qū)域；3)若該獨立編輯區(qū)域不包含發(fā)生沖突的交互對，若此時的修改代價等于已知的最 小修改代價，則將該獨立編輯區(qū)域的修正計劃計入結(jié)果集；若此時的修改代價小于已知的 最小修改代價，則在結(jié)果集清空后將該獨立編輯區(qū)域的修正計劃計入結(jié)果集，并更新已知 的最小修改代價；
4)為該獨立編輯區(qū)域計算可行解，若能匹配交互沖突模式，則計算該沖突模式的 修正計劃，否則為每個發(fā)生沖突的交互對計算修正計劃；5)根據(jù)修正計劃更新該獨立編輯區(qū)域，若此時的修改代價小于已知的最小修改代 價，則將更新后的該獨立編輯區(qū)域加入該列表，重復執(zhí)行步驟2)至步驟5)。所述的業(yè)務流程間交互沖突的半自動修正方法，其中，所述4)中，根據(jù)不同類型交互沖突模式計算該沖突模式的修正計劃；根據(jù)發(fā)生沖突的交互對的結(jié)構(gòu)關(guān)系為每個發(fā)生沖突的交互對計算修正計劃。為了實現(xiàn)上述目的，本發(fā)明提供一種業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其 特征在于，包括編輯區(qū)域識別模塊，用于識別存在交互沖突的業(yè)務流程模型的獨立編輯區(qū)域；區(qū)域計劃代價計算模塊，連接所述編輯區(qū)域識別模塊，用于針對每個獨立編輯區(qū) 域計算修正計劃及其相對應的修改代價；模型計劃代價計算模塊，連接所述區(qū)域計劃代價計算模塊，用于根據(jù)每個所述獨 立編輯區(qū)域的修正計劃及其相應的修改代價，計算存在交互沖突的業(yè)務流程模型的修正計 劃及其相應的修改代價。所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其中，所述編輯區(qū)域識別模塊遍歷業(yè)務流程間發(fā)生沖突的交互對，若發(fā)生沖突的交互對 是獨立編輯區(qū)域的種子，則根據(jù)種子生成獨立編輯區(qū)域；若所生成的獨立編輯區(qū)域之間包含相同的活動，則將這些獨立編輯區(qū)域合并，直 至不再有獨立編輯區(qū)域之間包含相同的活動。所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其中，還包括編輯區(qū)域生成模塊，連接所述編輯區(qū)域識別模塊，用于根據(jù)所述獨立編輯區(qū)域的 種子采用如下方式生成所述獨立編輯區(qū)域根據(jù)該種子分別生成包含了該種子中涉及活動的最小結(jié)構(gòu)的子流程，由這些子流 程和該種子構(gòu)成所述獨立編輯區(qū)域；遍歷流程模型間的交互，若該交互中涉及的活動僅有一個處于所述獨立編輯區(qū) 域，則將該交互加入所述獨立編輯區(qū)域，并根據(jù)該交互生成新的子流程更新所述獨立編輯 區(qū)域。所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其中，該種子是指發(fā)生沖突的交互對處于同一獨立編輯區(qū)域，若發(fā)生沖突的交互對之間 的結(jié)構(gòu)關(guān)系包含完全互斥或同時包含順序前和順序后，則將該交互對看作獨立編輯區(qū)域的 種子。所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其中，所述區(qū)域計劃代價計算模塊由業(yè)務流程內(nèi)部活動之間的結(jié)構(gòu)關(guān)系的改變表示每 個所述獨立編輯區(qū)域的修正計劃。所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其中，所述區(qū)域計劃代價計算模塊由業(yè)務流程內(nèi)部活動之間結(jié)構(gòu)關(guān)系的改變數(shù)量來度 量每個所述獨立編輯區(qū)域的修正計劃對應的修改代價。
7
所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其中，所述區(qū)域計劃代價計算模塊使用分支定界方法計算任意所述獨立編輯區(qū)域的多 種修正計劃。與現(xiàn)有技術(shù)相比，本發(fā)明的有益技術(shù)效果在于與現(xiàn)有的方法相比，一方面能夠提多樣的修正計劃供業(yè)務人員選擇，另外一方面 避免了修正過程中引入新的交互沖突，同時能夠?qū)崿F(xiàn)即時的交互沖突的修正。本發(fā)明根據(jù)修正過程中交互之間結(jié)構(gòu)關(guān)系的改變來度量修改代價，這樣既避免了 修改代價過度拘泥于實現(xiàn)細節(jié)，也在一定程度上表達修正過程中產(chǎn)生的代價。在生成修正 計劃之前，首先識別流程模型中的獨立編輯區(qū)域，從而避免在修改過程中產(chǎn)生新的交互沖 突，也極大的減少了計算修正計劃的搜索空間。在為每一個獨立編輯區(qū)域計算修正計劃時， 采用了一種基于沖突模式匹配的分支定界方法，既保證了修正計劃的多樣性，也減少了搜 索空間。本發(fā)明使用業(yè)務流程間交互沖突的半自動修正方法，不僅僅能夠輔助業(yè)務人員來 修正流程建模過程中出現(xiàn)的交互沖突問題，而且能夠完成業(yè)務流程模型的即時驗證和自動 修正。


圖1是本發(fā)明的業(yè)務流程間交互沖突的半自動修正方法流程圖；圖2是業(yè)務流程內(nèi)部活動間的五種關(guān)系，分別是順序前(S_Pre)，順序后(S_ Post)，并行(PL)，完全條件選擇(Com_E)，部分條件選擇(Part_E)；圖3是本發(fā)明的業(yè)務流程模型中識別出的獨立編輯區(qū)域示意圖；圖4是本發(fā)明的交互沖突模式1的修正計劃；圖5是本發(fā)明的交互沖突模式2的修正計劃；圖6是本發(fā)明的業(yè)務流程間交互沖突的半自動修正系統(tǒng)結(jié)構(gòu)圖。
具體實施例方式以下結(jié)合附圖和具體實施例對本發(fā)明進行詳細描述，但不作為對本發(fā)明的限定。如圖1所示，是本發(fā)明的業(yè)務流程間交互沖突的半自動修正方法流程圖。該方法 是在發(fā)現(xiàn)業(yè)務流程模型包含發(fā)生沖突的交互對之后，主要分為下面三個步來完成整個修正 過程步驟101，識別存在交互沖突的業(yè)務流程模型的獨立編輯區(qū)域；步驟102，針對每個獨立編輯區(qū)域計算修正計劃及其相應的修改代價；步驟103，計算存在交互沖突的業(yè)務流程模型的修正計劃及其相應的修改代價。一個包含多個業(yè)務流程和他們之間消息傳遞的BPMN模型可以表示為package = {processes, interactions},其中 processes 表不過禾呈集合，interactions 表不整個模 型的交互的集合。業(yè)務過程可以表示為process = {Start, End, activities, gateways transitions}, activities表示活動集合，transitions表示活動之間遷移的集合，Start 表示過程的開始活動，End表示過程的結(jié)束活動。業(yè)務流程內(nèi)部任意兩個活動間的控制流關(guān) 系(以下簡稱關(guān)系)可以總結(jié)為五種，分別是順序前(S_Pre)，順序后(S_Post)，并行(PL)，完全條件選擇(Com_E)，部分條件選擇(Part_E)，參見圖2所示。流程間的一次消息傳遞定義為一次交互，用二元組表示I = <a, b>，a，b為來自不 同業(yè)務流程的活動。兩個流程間的所有交互組成的集合為Interactions。任意兩個交互之 間的關(guān)系由參與交互的活動在不同流程P，Q內(nèi)部的關(guān)系組成，可以用二元組表示為IRpjQ(il, i2) = <ilS_Pre i2, ilS_Posti2> = <S_Pre, S_Post>。為了保證修正計劃的多樣性和修改代價的合理性，本發(fā)明中的修正計劃由業(yè)務流 程內(nèi)部活動之間的結(jié)構(gòu)關(guān)系的改變表示，修正計劃的修改代價由業(yè)務流程內(nèi)部活動之間結(jié) 構(gòu)關(guān)系的改變數(shù)量來度量，即采用以交互對之間結(jié)構(gòu)關(guān)系的改變作為修正計劃的表達方 式，并且以交互對之間結(jié)構(gòu)關(guān)系的改變數(shù)量來度量修改計劃的修改代價。進一步地，步驟101中，獨立編輯區(qū)域由流程間發(fā)生沖突的交互對以及結(jié)構(gòu)良好 的子流程構(gòu)成，并且獨立編輯區(qū)域必須滿足下面兩個條件，分別是條件1 在修正完成獨立編輯區(qū)域中的所有發(fā)生沖突的交互對后，不會再有任何 交互沖突涉及到該獨立編輯區(qū)域中所包含的交互；條件2 獨立編輯區(qū)域的任何一個發(fā)生沖突的交互對不會造成業(yè)務流程間出現(xiàn)新 的發(fā)生沖突的交互對。進一步地，步驟101中，獨立編輯區(qū)域的種子是指發(fā)生沖突的交互對必須處于同 一獨立編輯區(qū)域，若發(fā)生沖突的交互對之間的結(jié)構(gòu)關(guān)系包含完全互斥或者同時包含順序前 和順序后，則將這個交互對看作獨立編輯區(qū)域的種子。根據(jù)獨立編輯區(qū)域的種子生成獨立 編輯區(qū)域的方法包括1)根據(jù)獨立編輯區(qū)域的種子在分別生成包含了種子中涉及活動的最小結(jié)構(gòu)的子 流程，由這些子流程和種子構(gòu)成了最初的獨立編輯區(qū)域；2)遍歷流程模型間的交互，若交互中涉及的活動僅有一個處于1)中生成的獨立 編輯區(qū)域，則將該交互加入獨立編輯區(qū)域，并根據(jù)這個交互生成新的子流程更新獨立編輯 區(qū)域。在此基礎上識別流程模型間的所有獨立編輯區(qū)域的方法如下1')遍歷業(yè)務流程間發(fā)生沖突的交互對，若發(fā)生沖突的交互對是獨立編輯區(qū)域 的種子，則根據(jù)種子生成獨立編輯區(qū)域；2')若由步驟1')產(chǎn)生的獨立編輯區(qū)域之間包含相同的活動，則將這些獨立修 改區(qū)域合并；直至不再有獨立編輯區(qū)域之間包含相同的活動。進一步地，步驟102中，在計算獨立編輯區(qū)域的修正計劃時，本發(fā)明采用分支定界 的方法來搜索所有修改代價最小的修正計劃。根據(jù)交互對之間的結(jié)構(gòu)關(guān)系，對于每一個發(fā) 生沖突的交互都存在下面7種可行的修正方式。χ表示交互il，i2在流程P中的關(guān)系，y表 示交互il，i2在流程Q中的關(guān)系。
1. IRpq (il, il) =< X，y> >< S Pre，S_Pre> ；
2. IRp Q{i\, i2) =< x, y> >< S_Post, S_Post> ；
3. IRp q (/ , /2) =< x，>< PL, PL> ；
4.IRp Q(/1，/2) =< X，y> >< S_Pre’ PL> ；
5.IRPQ(i],i2) =< x,y> >< PL’S_Pre> ；
6. IRpg(z'l, i2) =< x,y> >< S_Post, PL> ；
7.IRpq (/'1,/2) =< λ;, y> >< PL’S—Post> ；在發(fā)現(xiàn)發(fā)生沖突的交互對之間存在下面兩類模式時，通過對兩類模型分別計算代 價最小的修正計劃能夠極大的減少計算獨立編輯區(qū)域修正計劃的開銷。模式1 一個或多個交互ix和一個交互i發(fā)生沖突，并且IRP，Q(i，ix) = <S_Pre, S_Post>，則這些發(fā)生沖突的交互構(gòu)成模式1。模式1的修正計劃如圖4，該圖中包含兩個修 正計劃。修正計劃1將交互對il，i3關(guān)系修正為
IRp o (/3, i\) =< S Pre ’ S_Post> >< S—Pre, S_Pre>，修正計劃2將交互對i2， 3關(guān)系修正為
lRp Q(i3,i2) =< S_Pre,S_Post> >< S_Post,SJPost>。模式2 若干交互在其中一個參與交互的流程中關(guān)系都為Com_E，而在另外一個參 與交互的流程中的關(guān)系為S_Pre或S_Post或PL，則這些發(fā)生沖突的交互構(gòu)成模式2。模式 2的修正計劃如圖5，該圖中包含兩個修正計劃。修正計劃1將交互對il， 2和交互對i2， 3修正為
IRp Q (il, /2) =< S—Pre,Com_E> χ S—Pre, S_Pre>,IRp Q (/2, /3) =< S Pre, Com_E> >< S—Pre ’ S—Pre>修正計劃2將交互對il，i2和交互對i2， 3修正為
IRpg(i\,i2) =< S_Pre,Com_E> >< Com _ Ε, Com _ E>,IRp Q(/2, /3) =< S_Pre,Com_E> >< Com _E, Com _E>在獲得發(fā)生沖突的交互對以及模式1和模式2的修正計劃的基礎上，本發(fā)明使用 下面的分支定界方法來計算任意獨立編輯區(qū)域的多種修正計劃。在搜索代價最小的修正計 劃之前需要作如下處理A、根據(jù)發(fā)生沖突的交互對的結(jié)構(gòu)關(guān)系，計算修正計劃和修改代價；B、根據(jù)不同類型交互沖突模式(順序沖突和缺失/多余消息沖突)，計算修正計劃 和修改代價。當獨立編輯區(qū)域中能夠匹配交互沖突模式時，采用B方式來計算修正計劃和修改 代價，其余發(fā)生沖突的交互對采用A方式來計算修正計劃和修改代價。采用分支定界方法來計算任意獨立編輯區(qū)域的多種修正計劃的具體步驟包括(1)將獨立編輯區(qū)域加入一列表(如OPEN列表)；(2)若OPEN列表不為空，取出OPEN列表中的一個獨立編輯區(qū)域；
(3)若獨立編輯區(qū)域不包含發(fā)生沖突的交互對，若此時的修改代價等于已知的最 小修改代價，則將該獨立編輯區(qū)域的修正計劃計入結(jié)果集；若此時的修改代價小于已知的 最小修改代價，則在結(jié)果集清空后將該獨立編輯區(qū)域的修正計劃計入結(jié)果集，并更新已知 的最小修改代價；(4)為獨立編輯區(qū)域計算可行解，若能匹配交互沖突模式，則使用該沖突模式的修 正計劃(B)，否則，為每個發(fā)生沖突的交互對計算修正計劃(A)；(5)根據(jù)修正計劃更新獨立編輯區(qū)域，若此時的修改代價小于已知的最小修改代 價，則將更新后的獨立編輯區(qū)域加入OPEN列表。重復執(zhí)行步驟(2)至步驟(5)。若包含交互沖突的業(yè)務流程模型中的所有獨立編輯區(qū)域都得到修正，業(yè)務流程模 型得到修正。這樣通過組合流程模型間不同獨立編輯區(qū)域的修正計劃，即可獲得包含交互 沖突的業(yè)務流程模型的修正計劃，業(yè)務人員可以根據(jù)實際的需要選擇不同的修正計劃。如圖6所示，是本發(fā)明的業(yè)務流程間交互沖突的半自動修正系統(tǒng)結(jié)構(gòu)圖，該系統(tǒng) 60包括編輯區(qū)域識別模塊61，用于識別存在交互沖突的業(yè)務流程模型的獨立編輯區(qū)域；區(qū)域計劃代價計算模塊62，連接編輯區(qū)域識別模塊61，用于針對每個獨立編輯區(qū) 域計算修正計劃及其相對應的修改代價；模型計劃代價計算模塊63，連接區(qū)域計劃代價計算模塊62，用于計算存在交互沖 突的業(yè)務流程模型的修正計劃及其相應的修改代價。進一步地，該系統(tǒng)60還包括編輯區(qū)域生成模塊64，用于根據(jù)獨立編輯區(qū)域的種子生成供編輯區(qū)域識別模塊 61進行識別的獨立編輯區(qū)域，采用的方式是1)根據(jù)獨立編輯區(qū)域的種子在分別生成包含了種子中涉及活動的最小結(jié)構(gòu)的子 流程，由這些子流程和種子構(gòu)成了最初的獨立編輯區(qū)域；2)遍歷流程模型間的交互，若交互中涉及的活動僅有一個處于1)中生成的獨立 編輯區(qū)域，則將該交互加入獨立編輯區(qū)域，并根據(jù)這個交互生成新的子流程更新獨立編輯 區(qū)域。進一步地，編輯區(qū)域識別模塊61識別流程模型間的所有獨立編輯區(qū)域的方式如 下1')遍歷業(yè)務流程間發(fā)生沖突的交互對，若發(fā)生沖突的交互對是獨立編輯區(qū)域 的種子，則根據(jù)種子生成獨立編輯區(qū)域；2')若由步驟1')產(chǎn)生的獨立編輯區(qū)域之間包含相同的活動，則將這些獨立修 改區(qū)域合并；直至不再有獨立編輯區(qū)域之間包含相同的活動。獨立編輯區(qū)域由流程間發(fā)生沖突的交互對以及結(jié)構(gòu)良好的子流程構(gòu)成，并且獨立 編輯區(qū)域必須滿足下面兩個條件，分別是條件1 在修正完成獨立編輯區(qū)域中的所有發(fā)生沖突的交互對后，不會再有任何 交互沖突涉及到該獨立編輯區(qū)域中所包含的交互；條件2 獨立編輯區(qū)域的任何一個發(fā)生沖突的交互對不會造成業(yè)務流程間出現(xiàn)新 的發(fā)生沖突的交互對。獨立編輯區(qū)域的種子是指發(fā)生沖突的交互對處于同一獨立編輯區(qū)域，若發(fā)生沖突的交互對之間的結(jié)構(gòu)關(guān)系包含完全互斥或同時包含順序前和順序后，則將該交互對看作獨 立編輯區(qū)域的種子。進一步地，區(qū)域計劃代價計算模塊62由業(yè)務流程內(nèi)部活動之間的結(jié)構(gòu)關(guān)系的改 變表示每個獨立編輯區(qū)域的修正計劃，由業(yè)務流程內(nèi)部活動之間結(jié)構(gòu)關(guān)系的改變數(shù)量來度 量每個獨立編輯區(qū)域的修正計劃對應的修改代價。進一步地，區(qū)域計劃代價計算模塊62又包括區(qū)域計劃計算模塊621，用于針對每個獨立編輯區(qū)域計算修正計劃；以及區(qū)域代價計算模塊622，連接區(qū)域計劃計算模塊621，用于計算獨立編輯區(qū)域的修 正計劃所對應的修改代價。進一步地，區(qū)域計劃代價計算模塊62在搜索代價最小的修正計劃之前需要作如 下處理A、根據(jù)發(fā)生沖突的交互對的結(jié)構(gòu)關(guān)系，計算修正計劃和修改代價；B、根據(jù)不同類型交互沖突模式(順序沖突和缺失/多余消息沖突)，計算修正計劃 和修改代價。當獨立編輯區(qū)域中能夠匹配交互沖突模式時，采用B方式來計算修正計劃和修改 代價，其余發(fā)生沖突的交互對采用A方式來計算修正計劃和修改代價。區(qū)域計劃計算模塊621采用分支定界方法來計算任意獨立編輯區(qū)域的多種修正 計劃，具體方式如下(1)將獨立編輯區(qū)域加入OPEN列表；(2)若OPEN列表不為空，取出OPEN列表中的一個獨立編輯區(qū)域；(3)若獨立編輯區(qū)域不包含發(fā)生沖突的交互對，若此時的修改代價等于已知的最 小修改代價，則將該獨立編輯區(qū)域的修正計劃計入結(jié)果集；若此時的修改代價小于已知的 最小修改代價，則在結(jié)果集清空后將該獨立編輯區(qū)域的修正計劃計入結(jié)果集，并更新已知 的最小修改代價；(4)為獨立編輯區(qū)域計算可行解，若能匹配交互沖突模式，則使用該沖突模式的修 正計劃(B)，否則，為每個發(fā)生沖突的交互對計算修正計劃(A)；(5)根據(jù)修正計劃更新獨立編輯區(qū)域，若此時的修改代價小于已知的最小修改代 價，則將更新后的獨立編輯區(qū)域加入OPEN列表。重復執(zhí)行步驟(2)至步驟(5)。進一步地，模型計劃代價計算模塊63又包括模型計劃計算模塊631，用于計算存在交互沖突的業(yè)務流程模型的修正計劃；模型代價計算模塊632，連接模型計劃計算模塊631，用于計算業(yè)務流程模型的修 正計劃所對應的修改代價。模型計劃計算模塊631通過組合流程模型間不同獨立編輯區(qū)域的修正計劃，獲得 包含交互沖突的業(yè)務流程模型的修正計劃。本發(fā)明提出了一種業(yè)務流程間交互沖突的半自動修正方法，為業(yè)務流程建模人員 提供多樣化的修正計劃。在發(fā)現(xiàn)業(yè)務流程間交互沖突集合的基礎上，本方法根據(jù)修正過程 中交互之間結(jié)構(gòu)關(guān)系的改變來度量修改代價，既避免了修改代價過度拘泥于實現(xiàn)細節(jié)，又 一定抽象程度上表達了修正過程中產(chǎn)生的代價。在生成修正計劃之前，首先識別流程模型 中的獨立編輯區(qū)域，從而避免在修改過程中產(chǎn)生新的交互沖突，減少了計算修正計劃的搜索空間。在為每一個獨立編輯區(qū)域計算修正計劃時，采用了一種基于沖突模式匹配的分支 定界方法，既保證了修正計劃的多樣性又減少了搜索空間。本發(fā)明提出的業(yè)務流程間交互 沖突的半自動修正方法，不僅僅能夠輔助業(yè)務人員來修正流程建模過程中出現(xiàn)的交互沖突 問題，并且能夠完成業(yè)務流程模型的即時驗證和半自動修正。同時，該方法并不局限于特定 的交互沖突發(fā)現(xiàn)方法和業(yè)務流程建模語言。 當然，本發(fā)明還可有其它多種實施例，在不背離本發(fā)明精神及其實質(zhì)的情況下，熟 悉本領(lǐng)域的技術(shù)人員當可根據(jù)本發(fā)明做出各種相應的改變和變形，但這些相應的改變和變 形都應屬于本發(fā)明所附的權(quán)利要求的保護范圍。
權(quán)利要求
一種業(yè)務流程間交互沖突的半自動修正方法，其特征在于，包括步驟一，識別存在交互沖突的業(yè)務流程模型的獨立編輯區(qū)域；步驟二，針對每個所述獨立編輯區(qū)域計算修正計劃及其相應的修改代價；步驟三，根據(jù)每個所述獨立編輯區(qū)域的修正計劃及其相應的修改代價，計算存在交互沖突的業(yè)務流程模型的修正計劃及其相應的修改代價。
2.根據(jù)權(quán)利要求1所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在于，所述 步驟一中，所述獨立編輯區(qū)域由業(yè)務流程間發(fā)生沖突的交互對以及結(jié)構(gòu)良好的子流程構(gòu)成，所述 獨立編輯區(qū)域滿足如下兩個條件，分別是條件1 在修正完成所述獨立編輯區(qū)域中的所有發(fā)生沖突的交互對后，不會再有任何 交互沖突涉及到所述獨立編輯區(qū)域中所包含的交互；條件2 所述獨立編輯區(qū)域的任何一個發(fā)生沖突的交互對不會造成業(yè)務流程間出現(xiàn)新 的發(fā)生沖突的交互對。
3.根據(jù)權(quán)利要求1所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在于，所述 步驟一，具體包括遍歷業(yè)務流程間發(fā)生沖突的交互對，若發(fā)生沖突的交互對是獨立編輯區(qū)域的種子，則 根據(jù)種子生成獨立編輯區(qū)域；若所生成的獨立編輯區(qū)域之間包含相同的活動，則將這些獨立編輯區(qū)域合并，直至不 再有獨立編輯區(qū)域之間包含相同的活動。
4.根據(jù)權(quán)利要求3所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在于， 所述根據(jù)種子生成獨立編輯區(qū)域的步驟具體包括根據(jù)該種子分別生成包含該種子中涉及活動的最小結(jié)構(gòu)的子流程，由這些子流程和該 種子構(gòu)成所述獨立編輯區(qū)域；遍歷流程模型間的交互，若該交互中涉及的活動僅有一個處于所述獨立編輯區(qū)域，則 將該交互加入所述獨立編輯區(qū)域，并根據(jù)該交互生成新的子流程更新獨立編輯區(qū)域。
5.根據(jù)權(quán)利要求3或4所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在于， 該種子是指發(fā)生沖突的交互對處于同一獨立編輯區(qū)域，若發(fā)生沖突的交互對之間的結(jié)構(gòu)關(guān)系包含完全互斥或同時包含順序前和順序后，則將該交互對看作獨立編輯區(qū)域的種 子。
6.根據(jù)權(quán)利要求1、2、3或4所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在 于，所述步驟二中，每個所述獨立編輯區(qū)域的修正計劃由業(yè)務流程內(nèi)部活動之間的結(jié)構(gòu)關(guān)系的改變表示。
7.根據(jù)權(quán)利要求1、2、3或4所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在 于，所述步驟二中，每個所述獨立編輯區(qū)域的修正計劃對應的修改代價由業(yè)務流程內(nèi)部活動之間結(jié)構(gòu)關(guān) 系的改變數(shù)量來度量。
8.根據(jù)權(quán)利要求1、2、3或4所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在 于，所述步驟二中，進一步包括使用分支定界方法計算任意所述獨立編輯區(qū)域的多種修正計劃的步驟1)將所述獨立編輯區(qū)域加入一列表；2)若該列表不為空，取出該列表中的一個獨立編輯區(qū)域；3)若該獨立編輯區(qū)域不包含發(fā)生沖突的交互對，若此時的修改代價等于已知的最小修 改代價，則將該獨立編輯區(qū)域的修正計劃計入結(jié)果集；若此時的修改代價小于已知的最小 修改代價，則在結(jié)果集清空后將該獨立編輯區(qū)域的修正計劃計入結(jié)果集，并更新已知的最 小修改代價；4)為該獨立編輯區(qū)域計算可行解，若能匹配交互沖突模式，則計算該沖突模式的修正 計劃，否則為每個發(fā)生沖突的交互對計算修正計劃；5)根據(jù)修正計劃更新該獨立編輯區(qū)域，若此時的修改代價小于已知的最小修改代價， 則將更新后的該獨立編輯區(qū)域加入該列表，重復執(zhí)行步驟2)至步驟5)。
9.根據(jù)權(quán)利要求8所述的業(yè)務流程間交互沖突的半自動修正方法，其特征在于，所述 4)中，根據(jù)不同類型交互沖突模式計算該沖突模式的修正計劃；根據(jù)發(fā)生沖突的交互對的結(jié)構(gòu)關(guān)系為每個發(fā)生沖突的交互對計算修正計劃。
10.一種業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其特征在于，包括編輯區(qū)域識別模塊，用于識別存在交互沖突的業(yè)務流程模型的獨立編輯區(qū)域；區(qū)域計劃代價計算模塊，連接所述編輯區(qū)域識別模塊，用于針對每個獨立編輯區(qū)域計 算修正計劃及其相對應的修改代價；模型計劃代價計算模塊，連接所述區(qū)域計劃代價計算模塊，用于根據(jù)每個所述獨立編 輯區(qū)域的修正計劃及其相應的修改代價，計算存在交互沖突的業(yè)務流程模型的修正計劃及 其相應的修改代價。
11.根據(jù)權(quán)利要求10所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其特征在于，所述編輯區(qū)域識別模塊遍歷業(yè)務流程間發(fā)生沖突的交互對，若發(fā)生沖突的交互對是獨 立編輯區(qū)域的種子，則根據(jù)種子生成獨立編輯區(qū)域；若所生成的獨立編輯區(qū)域之間包含相同的活動，則將這些獨立編輯區(qū)域合并，直至不 再有獨立編輯區(qū)域之間包含相同的活動。
12.根據(jù)權(quán)利要求11所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其特征在于，還 包括編輯區(qū)域生成模塊，連接所述編輯區(qū)域識別模塊，用于根據(jù)所述獨立編輯區(qū)域的種子 采用如下方式生成所述獨立編輯區(qū)域根據(jù)該種子分別生成包含了該種子中涉及活動的最小結(jié)構(gòu)的子流程，由這些子流程和 該種子構(gòu)成所述獨立編輯區(qū)域；遍歷流程模型間的交互，若該交互中涉及的活動僅有一個處于所述獨立編輯區(qū)域，則 將該交互加入所述獨立編輯區(qū)域，并根據(jù)該交互生成新的子流程更新所述獨立編輯區(qū)域。
13.根據(jù)權(quán)利要求11或12所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其特征在于，該種子是指發(fā)生沖突的交互對處于同一獨立編輯區(qū)域，若發(fā)生沖突的交互對之間的 結(jié)構(gòu)關(guān)系包含完全互斥或同時包含順序前和順序后，則將該交互對看作獨立編輯區(qū)域的種 子。
14.根據(jù)權(quán)利要求10、11或12所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其特征 在于，所述區(qū)域計劃代價計算模塊由業(yè)務流程內(nèi)部活動之間的結(jié)構(gòu)關(guān)系的改變表示每個所 述獨立編輯區(qū)域的修正計劃。
15.根據(jù)權(quán)利要求10、11或12所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其特征 在于，所述區(qū)域計劃代價計算模塊由業(yè)務流程內(nèi)部活動之間結(jié)構(gòu)關(guān)系的改變數(shù)量來度量每 個所述獨立編輯區(qū)域的修正計劃對應的修改代價。
16.根據(jù)權(quán)利要求10、11或12所述的業(yè)務流程間交互沖突的半自動修正系統(tǒng)，其特征 在于，所述區(qū)域計劃代價計算模塊使用分支定界方法計算任意所述獨立編輯區(qū)域的多種修 正計劃。
全文摘要
本發(fā)明有關(guān)于一種業(yè)務流程間交互沖突的半自動修正方法及其系統(tǒng)，其中該方法包括步驟一，識別存在交互沖突的業(yè)務流程模型的獨立編輯區(qū)域；步驟二，針對每個獨立編輯區(qū)域計算修正計劃及其相應的修改代價；步驟三，計算存在交互沖突的業(yè)務流程模型的修正計劃及其相應的修改代價。與現(xiàn)有的方法相比，本發(fā)明一方面能夠提多樣的修正計劃供業(yè)務人員選擇，另外一方面避免了修正過程中引入新的交互沖突，同時能夠?qū)崿F(xiàn)即時的交互沖突的修正。
文檔編號G06F9/44GK101894022SQ20101022400
公開日2010年11月24日 申請日期2010年7月2日 優(yōu)先權(quán)日2010年7月2日
發(fā)明者公帥, 劉志勇, 熊錦華 申請人:中國科學院計算技術(shù)研究所