工作流模型結構驗證及運行仿真的研究與實現.pdf

1、隨著工作流技術的發(fā)展以及《專業(yè)流程輔助管理系統(tǒng)》的實施，進一步推進了電力企業(yè)標準化和流程化的建設工作。但同時也對工作流技術提出了更高的要求，工作流結構驗證與運行仿真成為工作流技術研究的新熱點。
　　 本文首先對《專業(yè)流程輔助管理系統(tǒng)》的工作流引擎深入研究，分析其工作流模型及其特點，并確定本文研究的對象以及實現的目標。
　　 在對工作流模型特點及現有的工作流模型結構驗證方法做了深入研究的基礎上，提出了一種基于Warshal

2、l算法的工作流結構驗證方法和5條結構驗證規(guī)則。該方法基于離散數學圖論知識，將工作流圖轉化為鄰接矩陣表示，采用Warshall算法計算得出鄰接矩陣的可達矩陣，并結合5條驗證規(guī)則，分析得出結構驗證結果。該方法的使用，成功驗證了工作流模型最基本的結構問題，簡化了工作流結構驗證過程，且具有一定通用性。
　　 本文建立了一個工作流模型運行仿真模型，并針對該模型設計了仿真方法，該模型基于離散事件系統(tǒng)理論，采用基于事件調度的仿真方法，仿真時鐘