工作流管理系统是支持企业经营过程高效执行并监控其执行过程的计算机软件系统,然而实践证明,定义和模拟真实世界中的工作流是一个非常复杂且容易出错的过程。工作流本身缺乏坚实的理论基础,许多模型的建立是基于直观理解,没有严格的形式化定义与约束,在验证问题上也没有成熟的理论可以依据,且由于不同的工作流系统之间可能存在很大差别,很难有一种统一的验证方法可以适用于所有类型的工作流模型。因此,完善工作流模型设计、验证流程定义的正确性成为一个重要的发展方向。本文首先综述了当前工作流管理技术的发展,介绍了工作流的相关概念,分析了基于活动图、形式语言、Petri网等技术进行建模的优缺点,提出了工作流模型设计的原则与组成要素,以工作流管理联盟(Workflow Management Coalition,WfMC)的XML过程定义语言(XML Process Definition Language,XPDL)为基础,设计出在组织模型和工作流柔性支持上表述能力更强的扩展的XML过程定义语言(Extend XML ProcessDefinition Language,EXPDL)其次,工作流正确性验证由语法验证、结构验证和语义验证组成。语法验证主要是提出七条特性作为语法正确性的标准;结构验证主要是扩展了基于有向图的归约法则作为工作流模型结构冲突的分析方法;语义验证主要是设计出基于时间约束的工作流数据语义验证算法作为同一模型中并发控制流结构的验证算法。最后,设计并实现了一个以EXPDL作为基本建模语言的工作流建模工具。详细介绍了该系统的功能、体系结构和实现技术。