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

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

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