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

1、建立工作流過程模型是工作流執(zhí)行的前提和基礎(chǔ)，過程模型的性能直接關(guān)系到整個(gè)工作流管理系統(tǒng)的質(zhì)量。在工作流過程模型正式實(shí)施之前，必須先對(duì)過程模型進(jìn)行相應(yīng)的模型分析，確保模型的正確性。如何保證工作流過程模型的正確性對(duì)整個(gè)工作流的順利運(yùn)行起到至關(guān)重要的作用。 本文提出了一種基于改進(jìn)圖搜索算法對(duì)工作流過程模型進(jìn)行驗(yàn)證。該方法采用了PMDL(Process Model Definition Language)過程描述語(yǔ)言進(jìn)行模型描述。PMD

2、L語(yǔ)言以XPDL為基礎(chǔ)，消除了XPDL中對(duì)控制結(jié)構(gòu)定義的模糊性，可以更清楚的描述普通模型及較復(fù)雜模型，描述能力更強(qiáng)。為了擴(kuò)展的需要，PMDL預(yù)留了接口，具備了很大的擴(kuò)展性。通過工作流平臺(tái)項(xiàng)目進(jìn)行圖形化建模，可產(chǎn)生符合PMDL規(guī)則的XML文檔。改進(jìn)圖搜索算法通過解析符合PMDL規(guī)則的文檔進(jìn)行模型驗(yàn)證。該方法是以圖搜索算法為基礎(chǔ)，主要解決的是圖搜索算法在復(fù)雜模型驗(yàn)證上的缺陷。圖搜索算法在模型驗(yàn)證方面采取的是一種棧式匹配的做法，對(duì)于匹配節(jié)點(diǎn)后