工作流模型結(jié)構(gòu)驗證及運行仿真的研究與實現(xiàn).pdf

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

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