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

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


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