工作流平臺中模型驗證和仿真的研究與實現(xiàn).pdf

1、隨著1993年工作流管理聯(lián)盟WfMC的成立，工作流管理技術得到了長足的發(fā)展，并且成功的運用在工業(yè)、農(nóng)業(yè)、航天等眾多領域，工作流過程模型分析的重要性越來越明顯。 在將工作流過程模型投入實施之前，有必要對其進行徹底的分析。否則，一旦將存在問題的過程模型投入實施，將給企業(yè)帶來較大損失。工作流過程模型分析主要包括定性分析和定量分析兩個方面。定性分析主要考察過程模型的結構是否正確，排除過程模型中的結構錯誤；定量分析側重于過程模型的性能分析

2、，為過程優(yōu)化提供指導。 本文重點在于研究過程模型實施之前的結構分析和性能分析，使用模型檢測方法檢測過程模型中的結構錯誤，并使用仿真分析方法對過程模型進行性能分析和優(yōu)化。 本文總結和分析了當前工作流過程模型驗證和模型仿真技術的研究現(xiàn)狀、研究難點，在此基礎上提出了使用基于圖搜索的過程模型檢測方法對過程模型進行結構檢測，由于圖搜索過程中可以記錄節(jié)點的搜索狀態(tài)，因此可以對帶環(huán)和帶嵌套結構的過程模型進行結構檢測。 隨后本文