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

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

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