工作流作为支持企业经营过程重组、经营过程自动化的一种手段,已在并行工程、办公自动化、计算机集成制造等方面得到了广泛的应用。随着信息技术、分布对象技术、Internet/Intranet技术的发展,在全球范围内对工作流的技术研究以及相关产品开发进入了更为繁荣的阶段。工作流模型是对组织机构业务过程的抽象表示,包含了工作流执行所需要的各种信息,是工作流执行的前提和基础,直接影响到整个工作流系统的正确性与执行效率等关键问题。然而现有工作流管理系统普遍存在的一个不足是缺乏有效的方法与工具来保证工作流模型的合理性,这已成为工作流得到进一步广泛应用的障碍。从现有研究看,对工作流模型描述和分析技术还远没有成熟,原因在于两方面:其一,许多工作流模型的描述是基于直观理解,没有严格的形式化描述,缺乏坚实的理论基础,因而不能很好地描述工作流中丰富的语义信息,从而在分析检测问题上也就没有成熟的数学方法可以依据;其二,现有技术都偏重于对控制结构的描述和分析,忽视对数据以及资源语义信息的全面描述和分析。针对这些不足,本文提出了使用CSP对工作流模型进行语义描述,在对进程代数CSP进行深入了解的基础上,结合工作流元模型,定义了工作流模型中的事件与基本进程;其次,针对工作流定义标准语言XPDL对模型语义分析能力的不足,提出了XPDL到CSP进程的转化方法,从而对任何符合XPDL标准的工作流模型均可以映射到CSP进程,然后再利用CSP的成熟理论对模型进行分析;再次,在研究工作流模型的语义正确性的基础上,利用CSP进程的精化关系以及工具FDR,提出了通过检测断言来对工作流模型进行分析的方法;最后通过对一工作流实例进行CSP语义描述和分析,并说明该方法在工作流系统中的应用,验证了方法的有效性。