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

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

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