一種支持動態(tài)變更的柔性工作流模型研究.pdf

1、目前國內(nèi)外己有很多工作流管理系統(tǒng)的產(chǎn)品，但是它們大部分都不支持在工作流運行的過程中動態(tài)地修改業(yè)務(wù)過程。一旦工作流程確定，系統(tǒng)就一直按照模型規(guī)定的業(yè)務(wù)過程執(zhí)行。然而，隨著企業(yè)規(guī)模的擴大，市場需求的快速變化，在工作流建模階段不可能預(yù)先定義好所有的業(yè)務(wù)過程。因此，企業(yè)在經(jīng)營過程中往往需要通過對業(yè)務(wù)過程的重組來適應(yīng)市場需求，提高企業(yè)競爭力。本文就是重點研究如何在工作流運行的過程中動態(tài)地修改工作流模型，并把相關(guān)的工作流實例快速地遷移到新模型中運行

2、。 文章先對柔性工作流系統(tǒng)進行了初步的研究，擴展了工作流管理系統(tǒng)體系結(jié)構(gòu)，提出了一種支持動態(tài)變更的柔性工作流管理系統(tǒng)。該系統(tǒng)采用Petri網(wǎng)模型進行建模，著重分析了工作流實例遷移過程中所存在的動態(tài)變更錯誤，并結(jié)合自由選擇網(wǎng)的經(jīng)典理論，提出了一種基于Petri網(wǎng)模型的工作流實例遷移算法，算法的時間復(fù)雜度是多項式級的。 然后，設(shè)計了工作流模型正確性驗證算法，該算法能有效地驗證工作流模型的正確性，并且算法的時間復(fù)雜度也是多項式