基于XPFL的工作流驗(yàn)證-FlowLvzerXP的研究與實(shí)現(xiàn).pdf

1、工作流驗(yàn)證,是目前國內(nèi)外方興未艾、又非常缺乏實(shí)踐摸索經(jīng)驗(yàn)的一個(gè)研究領(lǐng)域,該論文在這方面作了一次比較具體深入的嘗試.FlowSxp是一個(gè)支持離散調(diào)度、工作流驗(yàn)證的分布式工作流管理系統(tǒng),應(yīng)目前跨企業(yè)操作商務(wù)模式的需求而產(chǎn)生.FlowLyzerXP是其中的工作流驗(yàn)證子系統(tǒng).該文立足于此,對工作流驗(yàn)證(主要是定性驗(yàn)證)進(jìn)行了比較全面和深入的探討,并將理論成果在FlowLyzerXP系統(tǒng)中得到了頗有成效的應(yīng)用.論文分以下幾部分:第一章,對工作流和

2、工作流驗(yàn)證技術(shù)作了概要介紹,力求讓讀者對工作流技術(shù)的發(fā)展和目前應(yīng)用情況、相關(guān)的基本概念有一定了解;并闡述了工作流驗(yàn)證的必要性,總結(jié)了工作流驗(yàn)證必須具備的要求,給出了工作流驗(yàn)證的定義和研究內(nèi)容,最后概括介紹了工作流驗(yàn)證理論當(dāng)前的研究狀況.第二章,提出了基于XML和Pet^網(wǎng)的工作流定義語言—XPFL,以及XPFL工作流元模型.首先,對XPFL作了概要介紹;然后具體介紹了XPFL元模型中驗(yàn)證相關(guān)的元素,包括流程、任務(wù)、遷移等;最后在此基礎(chǔ)上

3、對工作流元模型的有效性進(jìn)行了詳細(xì)討論,給出了有效性規(guī)則:無死任務(wù)、可完成性和任務(wù)的正確完成性.該章是全文的基石,以下各章均在本章基礎(chǔ)上展開討論.第三章,針對上一章所述的有效性規(guī)則,闡述XPFL工作流驗(yàn)證的算法模型.首先提出了一種擴(kuò)充Petri網(wǎng)—WFXP網(wǎng),并討論了如何用WFxp網(wǎng)驗(yàn)證死任務(wù)和流程的正確完成性;其次在WFXP網(wǎng)的基礎(chǔ)上討論了CAR網(wǎng),活鎖的檢測,并闡述了如何通過CAR網(wǎng)的著色來解決死鎖問題;最后,從匹配節(jié)點(diǎn)的角度出發(fā)引入

4、了匹配網(wǎng),進(jìn)一步討論了死鎖和同步的問題.該章是全文的算法理論基礎(chǔ).第四章,結(jié)合前面兩章的內(nèi)容,闡述驗(yàn)證工作的具體實(shí)現(xiàn).首先,討論XPFL工作流定義的其它視圖信息的過濾和結(jié)構(gòu)化簡;然后,具體討論了XPFL元模型向WFxp網(wǎng)、CAR網(wǎng)、匹配網(wǎng)等算法模型的轉(zhuǎn)換;最后,給出了驗(yàn)證的具體流程.該章是FlowLyzerxp系統(tǒng)的實(shí)現(xiàn)基礎(chǔ).第五章,介紹FlowLyzerxp的具體實(shí)現(xiàn).首先介紹FlowSxp和FlowLyzerxp的體系結(jié)構(gòu),然后結(jié)合