基于支持動態(tài)變更工作流的審判管理系統(tǒng)的設計與應用.pdf

1、隨著計算機技術的進步、軟件技術的發(fā)展，以及企業(yè)強烈的信息化需求，工作流技術越來越多地被應用于企事業(yè)單位的業(yè)務系統(tǒng)中。人們通過應用工作流技術，隱藏具體業(yè)務內(nèi)容、抽象業(yè)務邏輯、對資源和組織結構進行管理，實現(xiàn)業(yè)務的自動化與協(xié)作。而現(xiàn)實告訴我們，大部分的企事業(yè)單位和機關中，業(yè)務工作流程是非常復雜多變的，實際工作中，會出現(xiàn)由于異常情況的出現(xiàn)、技術進步、組織結構變動以及業(yè)務過程的優(yōu)化、重組等情況。依據(jù)業(yè)務需求的變化對業(yè)務流程進行調整，即工作流的柔性

2、，是現(xiàn)代工作流技術應具有的能力之一。
　　工作流的柔性是指，工作流系統(tǒng)可以使得業(yè)務流程在無需停頓或二次開發(fā)的情況下即時應用變更，它增強了企業(yè)應對業(yè)務變化的能力，是一項具有重要理論意義和實用價值的研究課題。近年來，國內(nèi)外的學者們對如何實現(xiàn)工作流柔性、及柔性的應用問題上進行了大量的研究，并取得了大量的成果。在這個研究趨勢下，工作流的柔性研究受到了廣泛的重視，并成為了工作流管理系統(tǒng)領域中的重要研究課題。
　　本文的主要研究基于已在

3、湖南省推廣使用的審判管理系統(tǒng)，其內(nèi)容是如何在已有的基礎上對該系統(tǒng)進行改進，使得其工作流能有效地即時響應動態(tài)變更。
　　在本文的開始，提出了傳統(tǒng)工作流在現(xiàn)實中的問題，對目前國內(nèi)外的動態(tài)工作流實現(xiàn)方法進行了簡介；歸納總結了目前工作流實現(xiàn)柔性的種類和實現(xiàn)方式。對湖南省法院系統(tǒng)使用的審判流程管理系統(tǒng)進行了描述，并闡述了由于工作模式改進帶來的業(yè)務動態(tài)變更需求；在此基礎上，針對審判流程管理系統(tǒng)中的有向圖模型，提出了其基于Petri網(wǎng)的驗證分析

4、模型，在用于分析的Petri模型中，節(jié)點路由用關系矩陣來定義，流程運行狀態(tài)則由狀態(tài)向量來表述，還可以通過出現(xiàn)序列記錄追溯流程運行歷史。當變更發(fā)生時，對Petri模型進行分析，根據(jù)其可達特性來確定變更的遷移策略。對動態(tài)變更需求的種類進行了研究，根據(jù)不同的變更類型，提出了不同的處理方式：針對實例變更，采用流程模型編輯器的方式，由用戶自行臨時更改流程定義；針對模型變更，基于本文設計的動態(tài)工作流模型，設計了變更處理算法，該算法采用Petri網(wǎng)的