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

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

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