基于Petri網(wǎng)的動(dòng)態(tài)工作流在OA系統(tǒng)中的應(yīng)用.pdf

1、為了適應(yīng)市場(chǎng)競(jìng)爭(zhēng)環(huán)境，企業(yè)需要對(duì)業(yè)務(wù)過(guò)程進(jìn)行重組，規(guī)范企業(yè)的經(jīng)營(yíng)管理，以達(dá)到降低生產(chǎn)成本、提高生產(chǎn)效率的目的。企業(yè)如何開(kāi)發(fā)符合不同客戶需求、具有事務(wù)處理能力、能夠適應(yīng)各種變化環(huán)境的工作流，已經(jīng)成為工作流技術(shù)研究的一個(gè)熱點(diǎn)。
　　 目前有各種工作流建模模型，通過(guò)對(duì)這些模型進(jìn)行比較，本文采用Petri網(wǎng)來(lái)對(duì)流程建模。Petri網(wǎng)具有較強(qiáng)的數(shù)學(xué)理論基礎(chǔ)，能夠直觀地描述業(yè)務(wù)流程。本文改進(jìn)了一種模型驗(yàn)證算法來(lái)驗(yàn)證用Petri網(wǎng)建模的合理性

2、和正確性。
　　 傳統(tǒng)的工作流在模型建立階段，對(duì)業(yè)務(wù)過(guò)程進(jìn)行建模，確定與業(yè)務(wù)過(guò)程相關(guān)的任務(wù)、任務(wù)之間的流轉(zhuǎn)關(guān)系以及相關(guān)的數(shù)據(jù)；流程的執(zhí)行階段，在任務(wù)執(zhí)行者的參與下流程按照預(yù)先定義的流轉(zhuǎn)方向進(jìn)行流轉(zhuǎn)。但現(xiàn)實(shí)情況變化復(fù)雜，無(wú)法在模型建立階段就確定所有的情況，因此需要開(kāi)發(fā)出能夠適應(yīng)變化環(huán)境的動(dòng)態(tài)工作流管理系統(tǒng)。本文分析了工作流的動(dòng)態(tài)性，并實(shí)現(xiàn)了資源的動(dòng)態(tài)修改和工作流過(guò)程模型的動(dòng)態(tài)修改，討論了過(guò)程模型修改時(shí)實(shí)例遷移策略、實(shí)現(xiàn)了模型實(shí)例的

3、遷移。
　　 目前人們考慮的事務(wù)主要是針對(duì)數(shù)據(jù)庫(kù)的事務(wù)處理，而很少考慮工作流管理系統(tǒng)中的事務(wù)處理，流程節(jié)點(diǎn)在執(zhí)行過(guò)程中出現(xiàn)一些不可預(yù)測(cè)異常時(shí)不能保證數(shù)據(jù)的一致性及原子性，因此研究工作流的事務(wù)處理具有較好的實(shí)際應(yīng)用價(jià)值。本文首先介紹了數(shù)據(jù)庫(kù)事務(wù)處理的實(shí)現(xiàn)方法，然后對(duì)工作流事務(wù)模型進(jìn)行了分析，將工作流事務(wù)模型和傳統(tǒng)事務(wù)模型、高級(jí)事務(wù)模型進(jìn)行研究和對(duì)比。在高級(jí)事務(wù)模型的基礎(chǔ)上，本文實(shí)現(xiàn)了工作流的事務(wù)處理，提出了一種自底向上的失效恢復(fù)算