基于虛擬執(zhí)行規(guī)則的工作流演進(jìn)技術(shù)與實(shí)現(xiàn).pdf

1、工作流技術(shù)正在經(jīng)歷從剛性向柔性、動(dòng)態(tài)性的變革，這種變革源自企業(yè)在發(fā)展過(guò)程中不斷出現(xiàn)的許多新需求；過(guò)程實(shí)例在運(yùn)行過(guò)程中發(fā)生與原過(guò)程定義的偏離，通常稱(chēng)為工作流變更或異常。靈活、動(dòng)態(tài)地處理變更和異常的能力是工作流管理系統(tǒng)柔性和動(dòng)態(tài)性的體現(xiàn)，工作流管理系統(tǒng)中引入動(dòng)態(tài)工作流技術(shù)，在解決業(yè)務(wù)流程變更所帶來(lái)問(wèn)題的同時(shí)，也帶來(lái)了不容忽視且極具挑戰(zhàn)意義的問(wèn)題，工作流模型的修改很容易導(dǎo)致工作流實(shí)例停滯、異常、死鎖、運(yùn)行脫節(jié)等一系列問(wèn)題，如何處理工作流變更是

2、動(dòng)態(tài)工作流研究的核心內(nèi)容。
　　在動(dòng)態(tài)工作流中，需要解決的關(guān)鍵問(wèn)題主要包括業(yè)務(wù)流程變更、工作流演進(jìn)、實(shí)例遷移等。本文重點(diǎn)研究在動(dòng)態(tài)工作流演進(jìn)變化中，如何實(shí)現(xiàn)工作流實(shí)例的遷移問(wèn)題。
　　本文首先深入分析了動(dòng)態(tài)工作流演進(jìn)變化和實(shí)例遷移問(wèn)題，研究了對(duì)模型實(shí)施的動(dòng)態(tài)變更操作，主要包括增加、刪除、替代和改變活動(dòng)等操作，分析了五種典型的動(dòng)態(tài)變更錯(cuò)誤；給出了工作流相關(guān)概念的形式化表示，從數(shù)據(jù)結(jié)構(gòu)正確性和模型結(jié)構(gòu)正確性?xún)煞矫?，給出了工作流模

3、型正確性標(biāo)準(zhǔn)。
　　本文通過(guò)分析基于圖形一致性規(guī)則和歷史事件一致性規(guī)則動(dòng)態(tài)工作流演進(jìn)技術(shù)的特點(diǎn)，提出了一種應(yīng)用性更好、算法更為簡(jiǎn)潔的基于虛擬執(zhí)行規(guī)則的方法，該方法適用于模型存在循環(huán)的情況，不僅可以判斷流程實(shí)例能否遷移，并且通過(guò)回退和撤銷(xiāo)策略，保證工作流實(shí)例快速遷移和已辦工作最大化；與同類(lèi)方法相比，本文算法考慮數(shù)據(jù)流、模型結(jié)構(gòu)、循環(huán)結(jié)構(gòu)變化等情況，且具有簡(jiǎn)潔易于實(shí)現(xiàn)等特點(diǎn)。
　　最后，根據(jù)提出的算法，借助于工具JWFD，設(shè)計(jì)完