[發(fā)明專利]一種基于安全狀態(tài)的工作流實例可遷移性判定方法

有效

• 申請?zhí)枺?/td>: 201410076015.6
• 申請日: 2014-03-04
• 公開（公告）號: CN103778519B
• 公開（公告）日: 2017-01-25
• 發(fā)明（設(shè)計）人: 胡昊;曹春;余萍;呂建;陳棟;張浩
• 申請（專利權(quán)）人: 南京大學
• 主分類號: G06Q10/06
• 分類號: G06Q10/06
• 代理公司: 南京知識律師事務(wù)所32207
• 代理人: 張?zhí)K沛

技術(shù)領(lǐng)域

本發(fā)明涉及計算機工作流領(lǐng)域，具體是一種基于安全狀態(tài)的工作流實例可遷移性判定方法，能夠快速高效、盡可能多且準確地對原模型下的實例進行可遷移性判定，將可遷移的工作流實例遷移到新模型下執(zhí)行。

背景技術(shù)

與軟件動態(tài)更新類似，工作流系統(tǒng)的動態(tài)更新也可以劃分為若干實施步驟。但是，工作流系統(tǒng)的動態(tài)更新與軟件動態(tài)更新又有所不同，工作流系統(tǒng)的動態(tài)更新主要涉及兩個層面的更新：過程模型層面和過程實例層面。過程模型層面的更新體現(xiàn)為過程模型的變更，這種變更可以是用戶根據(jù)應(yīng)用需求的變化直接參與對過程模型的修改，也可以是系統(tǒng)根據(jù)運行環(huán)境的變化對過程模型的調(diào)整；過程實例層面的更新主要體現(xiàn)為過程實例的遷移即源模型下的正在運行的實例能否遷移到目標模型下運行以及如何實施遷移，本發(fā)明主要解決的是過程實例層面的可遷移性判定方法。

可遷移性判定方法是過程實例遷移技術(shù)中十分重要的部分。遷移方法的標準過松，則過程實例遷移前后的一致性難以得到保障；反之，則會導(dǎo)致能夠遷移的實例減少，達到一定程度，更會從根本上撼動實例遷移的有效性甚至必要性。當過程模型發(fā)生變化時，如何將變化準確、迅速地反映到過程的動態(tài)執(zhí)行上是過程系統(tǒng)動態(tài)更新的關(guān)鍵所在，若處理不當，容易引發(fā)過程模型版本管理混亂，過程運行與過程模型定義脫節(jié)等問題。本申請的方法從工作流的基本結(jié)構(gòu)出發(fā)，從單個節(jié)點的安全狀態(tài)著手進行原模型和目標模型的比較，回避了宏觀結(jié)構(gòu)上直接比較帶來的復(fù)雜性。

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

發(fā)明目的：本發(fā)明所要解決的技術(shù)問題是針對現(xiàn)有技術(shù)的不足，提供一種基于安全狀態(tài)的工作流實例可遷移性判定方法，加快遷移判定的速度，提高遷移的準確度和覆蓋率。

為彌補現(xiàn)有技術(shù)的不足，本發(fā)明公開了一種基于安全狀態(tài)的工作流實例可遷移性判定方法，其特征在于，包括以下幾個步驟：

步驟一，比對原模型下任一實例l和目標模型M，找出實例l中不在目標模型中的節(jié)點集合l_d和仍在目標模型中的節(jié)點集合l_p；

步驟二，對l_p中的所有節(jié)點，根據(jù)它的緊鄰父結(jié)構(gòu)來判斷該節(jié)點是否處于安全狀態(tài)；

步驟三，在確定l_p中的所有節(jié)點是否處于安全狀態(tài)之后，對l_p中每個節(jié)點，再根據(jù)該節(jié)點之前節(jié)點的狀態(tài)和它下一個節(jié)點的類型做出可遷移性判定，若判定不可遷移則轉(zhuǎn)步驟六，否則轉(zhuǎn)步驟四；

步驟四，對l_d中每一個節(jié)點，根據(jù)該節(jié)點和實例已經(jīng)執(zhí)行節(jié)點的輸出變量集作出可遷移性判定，若判定不可遷移則轉(zhuǎn)步驟六，否則轉(zhuǎn)步驟五；

步驟五，若l_p中的節(jié)點都處于安全狀態(tài)，則判定為可遷移，若l_p中存在不處于安全狀態(tài)的節(jié)點，則根據(jù)該節(jié)點與插入它之前的節(jié)點集的輸出與輸入變量集作出判斷；

步驟六，若判定可遷移性為真則進行實例遷移，否則恢復(fù)不可遷移實例的執(zhí)行。

本發(fā)明步驟一中，通過暫停原模型下的所有實例，對其中任一實例l和目標模型M，找出實例l中不在目標模型中的節(jié)點，這些節(jié)點形成集合l_d，找出l中仍在目標模型中的節(jié)點，這些節(jié)點形成集合l_p。

本發(fā)明步驟二中，實例中的某節(jié)點處于安全狀態(tài)當且僅當目標模型中其前的節(jié)點序列與原模型中其前的節(jié)點序列相同或為其子序列，對節(jié)點是否處于安全狀態(tài)的判定是判定實例是否可遷移的重要基礎(chǔ)。對l_p中的所有節(jié)點，根據(jù)它的緊鄰父結(jié)構(gòu)來判斷該節(jié)點是否處于安全狀態(tài)，假設(shè)l_p中某一節(jié)點為A，具體判定過程包括：若A的緊鄰父結(jié)構(gòu)為順序結(jié)構(gòu)或者并發(fā)結(jié)構(gòu)，則僅對A進行是否處于安全狀態(tài)的判定；若A的緊鄰父結(jié)構(gòu)為選擇結(jié)構(gòu)，如果A之前的所有已執(zhí)行節(jié)點均處于安全狀態(tài)，則把該實例回退到A的上一個節(jié)點，然后將其遷移到目標模型的選擇結(jié)構(gòu)恢復(fù)執(zhí)行，否則該過程實例不可遷移，進入步驟六；若A的緊鄰父結(jié)構(gòu)為單元塊結(jié)構(gòu)，標記A處于安全狀態(tài)，因為此時單元塊結(jié)構(gòu)中有且僅有A；以上三點都不滿足的，則標記A為處于非安全狀態(tài)。