工作流模型的CSP語(yǔ)義描述與分析研究.pdf

1、工作流作為支持企業(yè)經(jīng)營(yíng)過(guò)程重組、經(jīng)營(yíng)過(guò)程自動(dòng)化的一種手段，已在并行工程、辦公自動(dòng)化、計(jì)算機(jī)集成制造等方面得到了廣泛的應(yīng)用。隨著信息技術(shù)、分布對(duì)象技術(shù)、Internet/Intranet技術(shù)的發(fā)展，在全球范圍內(nèi)對(duì)工作流的技術(shù)研究以及相關(guān)產(chǎn)品開(kāi)發(fā)進(jìn)入了更為繁榮的階段。工作流模型是對(duì)組織機(jī)構(gòu)業(yè)務(wù)過(guò)程的抽象表示，包含了工作流執(zhí)行所需要的各種信息，是工作流執(zhí)行的前提和基礎(chǔ)，直接影響到整個(gè)工作流系統(tǒng)的正確性與執(zhí)行效率等關(guān)鍵問(wèn)題。然而現(xiàn)有工作流管理系

2、統(tǒng)普遍存在的一個(gè)不足是缺乏有效的方法與工具來(lái)保證工作流模型的合理性，這已成為工作流得到進(jìn)一步廣泛應(yīng)用的障礙。 從現(xiàn)有研究看，對(duì)工作流模型描述和分析技術(shù)還遠(yuǎn)沒(méi)有成熟，原因在于兩方面：其一，許多工作流模型的描述是基于直觀理解，沒(méi)有嚴(yán)格的形式化描述，缺乏堅(jiān)實(shí)的理論基礎(chǔ)，因而不能很好地描述工作流中豐富的語(yǔ)義信息，從而在分析檢測(cè)問(wèn)題上也就沒(méi)有成熟的數(shù)學(xué)方法可以依據(jù)；其二，現(xiàn)有技術(shù)都偏重于對(duì)控制結(jié)構(gòu)的描述和分析，忽視對(duì)數(shù)據(jù)以及資源語(yǔ)義信息的

3、全面描述和分析。針對(duì)這些不足，本文提出了使用CSP對(duì)工作流模型進(jìn)行語(yǔ)義描述，在對(duì)進(jìn)程代數(shù)CSP進(jìn)行深入了解的基礎(chǔ)上，結(jié)合工作流元模型，定義了工作流模型中的事件與基本進(jìn)程；其次，針對(duì)工作流定義標(biāo)準(zhǔn)語(yǔ)言XPDL對(duì)模型語(yǔ)義分析能力的不足，提出了XPDL到CSP進(jìn)程的轉(zhuǎn)化方法，從而對(duì)任何符合XPDL標(biāo)準(zhǔn)的工作流模型均可以映射到CSP進(jìn)程，然后再利用CSP的成熟理論對(duì)模型進(jìn)行分析；再次，在研究工作流模型的語(yǔ)義正確性的基礎(chǔ)上，利用CSP進(jìn)程的精化關(guān)