基于Petri網(wǎng)工作流建模的研究與實(shí)現(xiàn).pdf

1、上世紀(jì)90年代以來(lái)，隨著計(jì)算機(jī)網(wǎng)絡(luò)在應(yīng)用中的日益普及，出現(xiàn)了眾多各具特色的工作流產(chǎn)品。相對(duì)于工作流產(chǎn)品市場(chǎng)的繁榮，工作流的相關(guān)理論研究則顯得有些滯后。特別是工作流建模方面，目前沒(méi)有一個(gè)統(tǒng)一的解決方案，各產(chǎn)品之間互不兼容；而且現(xiàn)有的工作流模型普遍缺乏嚴(yán)密的定義，很難支持對(duì)流程正確性、有效性的分析驗(yàn)證。 針對(duì)現(xiàn)狀，本文首先提出將工作流建模明確的劃分成兩個(gè)層次：流程邏輯層和描述語(yǔ)言層，分析了不同層次的目標(biāo)，主要內(nèi)容以及如何利用層次的劃

2、分來(lái)保證不同工作流產(chǎn)品在保持自我特色的情況下實(shí)現(xiàn)流程定義的互操作，并將目前主要的工作流建模技術(shù)按照兩層的標(biāo)準(zhǔn)進(jìn)行了分類(lèi)。 在分層的基礎(chǔ)上，綜合目前工作流建模的幾種方法，本文提出了一種新的工作流模型：XOP-WFM(ObjectPetri-NetWorkFlowModelBasedonXPDL)。該模型在描述語(yǔ)言層采用了XPDL(XMLProcessDefinitionLanguage)標(biāo)準(zhǔn)，在流程邏輯層采用了對(duì)象建模和Petri

3、網(wǎng)建模相結(jié)合的建模方式。在XOP-WFM中，我們通過(guò)Petri網(wǎng)的相關(guān)理論來(lái)保證流程模型的嚴(yán)密性，并完成對(duì)流程的有效性、正確性分析驗(yàn)證；通過(guò)對(duì)象技術(shù)以及規(guī)則機(jī)制來(lái)保證流程的動(dòng)態(tài)變化性和模型重用性；通過(guò)描述語(yǔ)言層的XPDL標(biāo)準(zhǔn)來(lái)保證模型的實(shí)用性。 為印證XOP-WFM模型的合理性和可行性，本文設(shè)計(jì)并實(shí)現(xiàn)了一套基于XOP-WFM的工作流建模工具——XOP-Flow。通過(guò)實(shí)際建模以及與其它建模方法的比較分析發(fā)現(xiàn)，XOP-WFM除了具有