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

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

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