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

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

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

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

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