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

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

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

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