專利名稱：組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法及設(shè)備的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及組合服務(wù)技術(shù)，尤其涉及一種組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法及設(shè)備，屬于計(jì)算機(jī)技術(shù)領(lǐng)域。
背景技術(shù)：
近年來(lái)，隨著互聯(lián)網(wǎng)技術(shù)的不斷發(fā)展，網(wǎng)絡(luò)上聚集了越來(lái)越多的資源，不僅包含豐富的計(jì)算和存儲(chǔ)等物理資源，還有大量的軟件和服務(wù)資源，基于服務(wù)的分布式應(yīng)用系統(tǒng)開(kāi)發(fā)已經(jīng)成為計(jì)算機(jī)領(lǐng)域一個(gè)重要的方向。Web服務(wù)技術(shù)可以用于解決了不同的平臺(tái)/系統(tǒng)之間應(yīng)用的整合問(wèn)題，為跨組織邊界的業(yè)務(wù)流程的自動(dòng)化提供技術(shù)基礎(chǔ)，但由于服務(wù)的提供者分工越來(lái)越細(xì)，并且為了保證重用性和可維護(hù)性等，一般不將復(fù)雜的業(yè)務(wù)邏輯封裝到單個(gè)的Web服務(wù)中，而為了滿足用戶多樣性的需求，實(shí)現(xiàn)完整的業(yè)務(wù)功能，需要把分布的獨(dú)立的Web服務(wù)組合起來(lái)，形成具有增值價(jià)值的服務(wù)，服務(wù)組合技術(shù)成為構(gòu)建網(wǎng)絡(luò)化軟件的一種重要方法，基于這種方法所開(kāi)發(fā)的軟件在技術(shù)形態(tài)上體現(xiàn)為組合服務(wù)?；跇I(yè)務(wù)流程的Web服務(wù)組合是指通過(guò)借鑒傳統(tǒng)的工作流和業(yè)務(wù)流程管理技術(shù)，將不同的組件服務(wù)編排在一個(gè)具有固定業(yè)務(wù)邏輯的流程中，執(zhí)行時(shí)在按照此流程中的邏輯關(guān)系和時(shí)序關(guān)系來(lái)調(diào)用遠(yuǎn)程的組件服務(wù)。一般使用工作流語(yǔ)言描述Web服務(wù)組合形成的業(yè)務(wù)流程指定一組Web服務(wù)操作的執(zhí)行順序，確定服務(wù)共享的數(shù)據(jù)、業(yè)務(wù)流程涉的伙伴和各伙伴在業(yè)務(wù)流程中的角色，以及多個(gè)服務(wù)和組織是如何參與等。其中，業(yè)務(wù)流程是指為實(shí)現(xiàn)一個(gè)特定業(yè)務(wù)目標(biāo)通過(guò)Web服務(wù)組合能完成的各項(xiàng)活動(dòng)的邏輯結(jié)構(gòu)關(guān)系?；顒?dòng)為業(yè)務(wù)流程中實(shí)現(xiàn)特定業(yè)務(wù)目標(biāo)的步驟，即Web服務(wù)。因此，根據(jù)Web服務(wù)工作流語(yǔ)言定義出Web 服務(wù)組合的工作流模型，工作流模型可以被工作流執(zhí)行引擎執(zhí)行。組合服務(wù)的演化已經(jīng)是學(xué)術(shù)界的研究熱點(diǎn)，從演化時(shí)間、演化影響、演化操作分類以及演化帶來(lái)的問(wèn)題等方面均進(jìn)行了深入分析，其中組合服務(wù)演化中運(yùn)行實(shí)例的成功遷移尤為重要。組合服務(wù)實(shí)例遷移是一種根據(jù)已有實(shí)例執(zhí)行狀態(tài)判定計(jì)算在新組合服務(wù)定義下的實(shí)例狀態(tài)的行為，它保留了已有執(zhí)行的寶貴數(shù)據(jù)，并且最大化地降低了回滾重做的損失。 這種提供在同一組合服務(wù)不同版本的模型間動(dòng)態(tài)遷移的機(jī)制，解決了傳統(tǒng)工作流及業(yè)務(wù)流程系統(tǒng)應(yīng)對(duì)變化能力差的問(wèn)題。但是由于在組合服務(wù)演化過(guò)程中，其業(yè)務(wù)流程模型的語(yǔ)義、 消息流、控制流、數(shù)據(jù)流都有可能發(fā)生變化，所以可能會(huì)導(dǎo)致實(shí)例運(yùn)行同步失效、死鎖和語(yǔ)義錯(cuò)誤等問(wèn)題。針對(duì)組合服務(wù)演化時(shí)運(yùn)行期流程實(shí)例狀態(tài)遷移的情況，國(guó)內(nèi)外相關(guān)研究提出了一個(gè)重要的問(wèn)題——?jiǎng)討B(tài)變更錯(cuò)誤(Dynamic Change Bug)，指的是舊流程實(shí)例中的狀態(tài)在新的流程實(shí)例中找不到合適的對(duì)應(yīng)狀態(tài)(演化后會(huì)導(dǎo)致某些活動(dòng)執(zhí)行了多次或被不合理的跳過(guò))。基于PetriNet模型，相關(guān)研究人員提出了通過(guò)劃分“變更區(qū)域”的方法來(lái)處理動(dòng)態(tài)變更錯(cuò)誤，即運(yùn)行狀態(tài)處于變更區(qū)域內(nèi)的流程實(shí)例不能遷移(如果遷移會(huì)導(dǎo)致動(dòng)態(tài)變更錯(cuò)誤)，而運(yùn)行狀態(tài)在變更區(qū)域外的則可以進(jìn)行遷移的方法。該變更區(qū)域只是靜態(tài)變更區(qū)域，并且通過(guò)工作流網(wǎng)(PetriNet的擴(kuò)展)給出了靜態(tài)變更區(qū)域的自動(dòng)生成算法，進(jìn)一步證明了靜態(tài)變更區(qū)域的定義既不充分也不必要，也就是說(shuō)處于變更區(qū)域內(nèi)的狀態(tài)也有可能正常地遷移到新的流程實(shí)例中，而處于變更區(qū)域外的某些狀態(tài)很可能不能合法地遷移。因此，在進(jìn)行運(yùn)行實(shí)例的在線遷移時(shí)，如何避免動(dòng)態(tài)變更錯(cuò)誤，以實(shí)現(xiàn)準(zhǔn)確、有效的在線實(shí)例遷移，是極為重要的研究課題。

發(fā)明內(nèi)容
本發(fā)明提供一種組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法及設(shè)備，用以實(shí)現(xiàn)簡(jiǎn)便且準(zhǔn)確性高的運(yùn)行實(shí)例在線遷移。根據(jù)本發(fā)明的一方面，提供一種組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法，包括獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域；若判斷獲知待遷移運(yùn)行實(shí)例位于所述變更區(qū)域內(nèi)，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑；若存在，則將所述待遷移實(shí)例遷移至所述目標(biāo)路徑。根據(jù)本發(fā)明的另一方面，還提供一種組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移設(shè)備， 包括變更區(qū)域獲取模塊，用于獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域；遷移判定模塊，用于若判斷獲知待遷移運(yùn)行實(shí)例位于所述變更區(qū)域內(nèi)，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑；遷移執(zhí)行模塊，用于若存在，則將所述待遷移實(shí)例遷移至所述目標(biāo)路徑。根據(jù)本發(fā)明提供的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法及設(shè)備，通過(guò)改變現(xiàn)有的基于變更區(qū)域的遷移判定算法，提出了結(jié)合變更區(qū)域計(jì)算以及基于執(zhí)行路徑等價(jià)性的遷移判定過(guò)程，從而保障了運(yùn)行實(shí)例在線遷移過(guò)程中控制流的正確性，確保了運(yùn)行實(shí)例在線遷移的高準(zhǔn)確度，能夠安全正確地將運(yùn)行狀態(tài)的實(shí)例動(dòng)態(tài)遷移到更新的流程模型上去， 避免了系統(tǒng)停機(jī)重啟，減少了回滾重做的損失，保證了系統(tǒng)的穩(wěn)定性。


圖1為用于實(shí)現(xiàn)本發(fā)明實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法的系統(tǒng)結(jié)構(gòu)圖；圖2為本發(fā)明實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法；圖3為執(zhí)行了 SESE片段劃分的業(yè)務(wù)流程示意圖；圖4為圖3中J片段的抽象示意圖；圖5為本發(fā)明實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移設(shè)備的結(jié)構(gòu)示意圖。
具體實(shí)施例方式圖1為用于實(shí)現(xiàn)本發(fā)明實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法的系統(tǒng)結(jié)構(gòu)圖。如圖1所示，該系統(tǒng)主要包括組合服務(wù)運(yùn)行管理工具和柔性組合服務(wù)執(zhí)行引擎， 其中，組合服務(wù)運(yùn)行管理工具用于負(fù)責(zé)組合服務(wù)動(dòng)態(tài)演化的人工接口，柔性組合服務(wù)執(zhí)行引擎用于支持運(yùn)行實(shí)例的在線遷移。本發(fā)明實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法由圖1中的柔性組合服務(wù)執(zhí)行引擎來(lái)執(zhí)行。圖2為本發(fā)明實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法。如圖2所示， 該運(yùn)行實(shí)例的在線遷移方法包括以下步驟步驟S201，獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域；步驟S202，若判斷獲知待遷移運(yùn)行實(shí)例位于所述變更區(qū)域內(nèi)，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑；步驟S203，若存在，則將所述待遷移實(shí)例遷移至所述目標(biāo)路徑。具體地，組合服務(wù)實(shí)例遷移主要包括四個(gè)步驟實(shí)例狀態(tài)控制及獲取、遷移判定、 目標(biāo)狀態(tài)計(jì)算和遷移實(shí)施。其中遷移判定是指判斷特定的組合服務(wù)實(shí)例狀態(tài)是否能夠在特定的組合服務(wù)模型定義下正確繼續(xù)執(zhí)行。其通過(guò)保證實(shí)例遷移前后已執(zhí)行行為一致性以及遷移前能正確終止的實(shí)例在遷移后仍能正確終止來(lái)判定控制流的正確性。因此通過(guò)合理的實(shí)例遷移判定方法能夠保障組合服務(wù)演化中實(shí)例遷移的控制流的正確性。在上述實(shí)施例的在線遷移方法中，綜合了基于變更區(qū)域和基于路徑等價(jià)性兩種判定方法進(jìn)行混合判定。變更區(qū)域的計(jì)算方法的輸入為遷移前后組合服務(wù)流程模型，輸出為計(jì)算得到的變更區(qū)域，之后進(jìn)入遷移判定的主體部分。通過(guò)綜合組合服務(wù)執(zhí)行引擎運(yùn)行期日志和實(shí)例當(dāng)前工作流網(wǎng)狀態(tài)確定運(yùn)行實(shí)例的當(dāng)前狀態(tài)，將其和變更區(qū)域比對(duì)，判定是否已經(jīng)進(jìn)入變更區(qū)域。如果判定結(jié)果為否，則判定通過(guò)，并將該實(shí)例直接按原有狀態(tài)遷移到新的組合服務(wù)業(yè)務(wù)流程模型上繼續(xù)執(zhí)行。如果判定結(jié)果為是，則進(jìn)入下一步判定是否在目標(biāo)流程模型下存在與待遷移實(shí)例行為等價(jià)的新?tīng)顟B(tài)。更為具體地，通過(guò)在目標(biāo)流程模型的狀態(tài)空間里尋找一條與原實(shí)例已執(zhí)行路徑等價(jià)的路徑來(lái)尋找行為等價(jià)的新?tīng)顟B(tài)。當(dāng)搜索成功時(shí)，則判定通過(guò)，意味著只要將實(shí)例的狀態(tài)轉(zhuǎn)換為搜索到的新?tīng)顟B(tài)，就可以將實(shí)例遷移到新的流程模型上并繼續(xù)執(zhí)行。當(dāng)搜索失敗時(shí)， 則表明該實(shí)例在當(dāng)前時(shí)刻不可遷移，判定失敗。判定失敗的實(shí)例會(huì)繼續(xù)按照原有的流程模型執(zhí)行，直到其判定通過(guò)為止。根據(jù)上述實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法，通過(guò)改變現(xiàn)有的基于變更區(qū)域的遷移判定算法，提出了結(jié)合變更區(qū)域計(jì)算以及基于執(zhí)行路徑等價(jià)性的遷移判定過(guò)程，從而保障了運(yùn)行實(shí)例在線遷移過(guò)程中控制流的正確性，確保了運(yùn)行實(shí)例在線遷移的高準(zhǔn)確度，能夠安全正確地將運(yùn)行狀態(tài)的實(shí)例動(dòng)態(tài)遷移到更新的流程模型上去，避免了系統(tǒng)停機(jī)重啟，減少了回滾重做的損失，保證了系統(tǒng)的穩(wěn)定性。進(jìn)一步地，在上述實(shí)施例的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法中，所述獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域具體包括構(gòu)建所述原流程模型的第一流程結(jié)構(gòu)樹(shù)，以及所述目標(biāo)流程的第二流程結(jié)構(gòu)樹(shù)， 所述第一流程結(jié)構(gòu)樹(shù)和所述第二流程結(jié)構(gòu)樹(shù)均包括相應(yīng)流程模型中的單入口單出口 SESE 片段，以及各SESE片段之間的嵌套關(guān)系；建立所述第一流程結(jié)構(gòu)樹(shù)的SESE片段，與所述第二流程結(jié)構(gòu)樹(shù)的SESE片段之間的映射關(guān)系；根據(jù)所述映射關(guān)系查找所述第一流程結(jié)構(gòu)樹(shù)與所述第二流程結(jié)構(gòu)樹(shù)之間發(fā)生變更的SESE片段；
6
根據(jù)所述發(fā)生變更的SESE片段生成所述變更區(qū)域。具體地，動(dòng)態(tài)變更區(qū)域是有效遷移判定的充分不必要條件，即雖然狀態(tài)處于動(dòng)態(tài)變更區(qū)域內(nèi)的實(shí)例也有可能有效地遷移到新的流程模型下，但狀態(tài)處于動(dòng)態(tài)變更區(qū)域外的實(shí)例則一定能有效遷移。因此在上述實(shí)施例的在線遷移方法中，提出了一種基于流程結(jié)構(gòu)樹(shù)的變更區(qū)域計(jì)算方法，該方法計(jì)算出來(lái)的變更區(qū)域較更加準(zhǔn)確，且計(jì)算復(fù)雜度更低，保證了實(shí)例遷移的有效判定。更為具體地，基于流程結(jié)構(gòu)樹(shù)的變更區(qū)域計(jì)算方法將由工作流網(wǎng)表示的業(yè)務(wù)流程圖組織成一棵由單入口單出口(簡(jiǎn)稱SESE)片段組成的樹(shù)。每個(gè)SESE片段的內(nèi)部可能嵌套包含其它SESE片段，這些片段被稱為它的孩子片段。除嵌套包含孩子片段之外，SESE片段還可能包含內(nèi)部網(wǎng)關(guān)節(jié)點(diǎn)，在這些內(nèi)部節(jié)點(diǎn)和孩子片段之間相連的邊被稱為SESE片段的內(nèi)部邊。每個(gè)SESE片段都有自己特有的結(jié)構(gòu)類型，其類型的判定是通過(guò)對(duì)將孩子片段替換成單一節(jié)點(diǎn)之后的流程片段歸類而得的。SESE的片段類型根據(jù)其控制流結(jié)構(gòu)不同可以多種多樣。例如將SESE片段類型為以下六種，如表1中所示，表1為SESE片段類型定義表。
權(quán)利要求
1.一種組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法，其特征在于，包括 獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域；若判斷獲知待遷移運(yùn)行實(shí)例位于所述變更區(qū)域內(nèi)，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑； 若存在，則將所述待遷移實(shí)例遷移至所述目標(biāo)路徑。
2.根據(jù)權(quán)利要求1所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法，其特征在于，所述獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域具體包括構(gòu)建所述原流程模型的第一流程結(jié)構(gòu)樹(shù)，以及所述目標(biāo)流程的第二流程結(jié)構(gòu)樹(shù)，所述第一流程結(jié)構(gòu)樹(shù)和所述第二流程結(jié)構(gòu)樹(shù)均包括相應(yīng)流程模型中的單入口單出口 SESE片段，以及各SESE片段之間的嵌套關(guān)系；建立所述第一流程結(jié)構(gòu)樹(shù)的SESE片段，與所述第二流程結(jié)構(gòu)樹(shù)的SESE片段之間的映射關(guān)系；根據(jù)所述映射關(guān)系查找所述第一流程結(jié)構(gòu)樹(shù)與所述第二流程結(jié)構(gòu)樹(shù)之間發(fā)生變更的 SESE片段；根據(jù)所述發(fā)生變更的SESE片段生成所述變更區(qū)域。
3.根據(jù)權(quán)利要求1所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法，其特征在于，檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑具體包括按照預(yù)定規(guī)則計(jì)算所述變更區(qū)域相對(duì)于所述原流程模型的比例； 若所述比例大于或等于預(yù)設(shè)閾值，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑。
4.根據(jù)權(quán)利要求1所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法，其特征在于，檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑具體包括獲取所述目標(biāo)流程模型中，與所述原目標(biāo)流程模型中的第一執(zhí)行路徑對(duì)應(yīng)的第二執(zhí)行路徑，其中所述第一執(zhí)行路徑為所述待遷移實(shí)例的已有執(zhí)行路徑；若所述第一執(zhí)行路徑中的各節(jié)點(diǎn)與所述第二路徑中的各節(jié)點(diǎn)一一對(duì)應(yīng)，則獲知所述第一執(zhí)行路徑與所述第二執(zhí)行路徑等價(jià)。
5.根據(jù)權(quán)利要求2所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法，其特征在于，根據(jù)所述發(fā)生變更的SESE片段生成所述變更區(qū)域具體包括構(gòu)造組合服務(wù)的數(shù)據(jù)依賴圖，以獲取組合服務(wù)中各組件服務(wù)的數(shù)據(jù)依賴關(guān)系； 將內(nèi)部節(jié)點(diǎn)存在數(shù)據(jù)依賴關(guān)系的所述SESE片段進(jìn)行合并，以生成所述變更區(qū)域。
6.一種組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移設(shè)備，其特征在于，包括 變更區(qū)域獲取模塊，用于獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域；遷移判定模塊，用于若判斷獲知待遷移運(yùn)行實(shí)例位于所述變更區(qū)域內(nèi)，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑； 遷移執(zhí)行模塊，用于若存在，則將所述待遷移實(shí)例遷移至所述目標(biāo)路徑。
7.根據(jù)權(quán)利要求6所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移設(shè)備，其特征在于，所述變更區(qū)域獲取模塊包括第一處理單元，用于構(gòu)建所述原流程模型的第一流程結(jié)構(gòu)樹(shù)，以及所述目標(biāo)流程的第二流程結(jié)構(gòu)樹(shù)，所述第一流程結(jié)構(gòu)樹(shù)和所述第二流程結(jié)構(gòu)樹(shù)均包括相應(yīng)流程模型中的單入口單出口 SESE片段，以及各SESE片段之間的嵌套關(guān)系；第二處理單元，用于建立所述第一流程結(jié)構(gòu)樹(shù)的SESE片段，與所述第二流程結(jié)構(gòu)樹(shù)的 SESE片段之間的映射關(guān)系；第三處理單元，用于根據(jù)所述映射關(guān)系查找所述第一流程結(jié)構(gòu)樹(shù)與所述第二流程結(jié)構(gòu)樹(shù)之間發(fā)生變更的SESE片段；第四處理單元，用于根據(jù)所述發(fā)生變更的SESE片段生成所述變更區(qū)域。
8.根據(jù)權(quán)利要求6所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移設(shè)備，其特征在于，所述遷移判定模塊還用于按照預(yù)定規(guī)則計(jì)算所述變更區(qū)域相對(duì)于所述原流程模型的比例；若所述比例大于或等于預(yù)設(shè)閾值，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑。
9.根據(jù)權(quán)利要求6所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移設(shè)備，其特征在于，所述遷移判定模塊還用于獲取所述目標(biāo)流程模型中，與所述原目標(biāo)流程模型中的第一執(zhí)行路徑對(duì)應(yīng)的第二執(zhí)行路徑，其中所述第一執(zhí)行路徑為所述待遷移實(shí)例的已有執(zhí)行路徑；若所述第一執(zhí)行路徑中的各節(jié)點(diǎn)與所述第二路徑中的各節(jié)點(diǎn)一一對(duì)應(yīng)，則獲知所述第一執(zhí)行路徑與所述第二執(zhí)行路徑等價(jià)。
10.根據(jù)權(quán)利要求7所述的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移設(shè)備，其特征在于， 所述第四處理單元還用于構(gòu)造組合服務(wù)的數(shù)據(jù)依賴圖，以獲取組合服務(wù)中各組件服務(wù)的數(shù)據(jù)依賴關(guān)系；將內(nèi)部節(jié)點(diǎn)存在數(shù)據(jù)依賴關(guān)系的所述SESE片段進(jìn)行合并，以生成所述變更區(qū)域。
全文摘要
本發(fā)明提供一種組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法及設(shè)備。該方法包括獲取原流程模型與目標(biāo)流程模型之間的變更區(qū)域；若判斷獲知待遷移運(yùn)行實(shí)例位于所述變更區(qū)域內(nèi)，則檢測(cè)所述目標(biāo)流程模型中是否存在與所述待遷移實(shí)例的已有執(zhí)行路徑等價(jià)的目標(biāo)路徑；若存在，則將所述待遷移實(shí)例遷移至所述目標(biāo)路徑。本發(fā)明提供的組合服務(wù)演化中運(yùn)行實(shí)例的在線遷移方法及設(shè)備用以實(shí)現(xiàn)簡(jiǎn)便且準(zhǔn)確性高的運(yùn)行實(shí)例在線遷移。
文檔編號(hào)G06Q10/06GK102567845SQ20111042022
公開(kāi)日2012年7月11日 申請(qǐng)日期2011年12月15日 優(yōu)先權(quán)日2011年12月15日
發(fā)明者孫海龍, 張萬(wàn)才, 懷進(jìn)鵬, 林晶晶, 鄒佳寧 申請(qǐng)人:北京航空航天大學(xué)