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

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

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