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

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

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

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

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