工作流管理技术是近年来在计算机领域发展中最为迅速的几项技术之一.随着工作流管理系统应用规模的不断扩大、应用领域的不断拓展,如何定义正确的工作流模型,以及对已有业务过程模型进行分析优化,已经成为工作流及相关技术领域研究的重点之一.该文在介绍青鸟过程元模型JBDelta的基础上,对工作流建模以及过程模型的正确性验证进行了相关的研究和实践.论文首先介绍了基于活动网络的工作流模型—JBDelta.JBDelta具有简单直观、易于理解等优点;并且它提供了丰富的过程建模元素,增强了活动网络的表达能力,能够描述多种复杂的业务流程.其次,在对已有模型分析方法进行研究分析的基础上,提出了一种采用工作流图进行图形化简的模型验证方法.工作流图是过程结构的一种描述方法,它在逻辑结构方面具有和JBDelta一样的表达能力.针对工作流图,该文提出了一套图形化简规则,用于识别过程模型的结构冲突,实现工作流模型的分析与验证.最后,基于该文提出的化简规则,在青鸟工作流管理系统中设计并实现了模型验证工具——JBVerifier.利用该工具可以对青鸟工作流建模工具JBPro生成的过程模型进行验证.实践证明,该文中提及的工作流模型验证方法和工具能够帮助企业在经营过程重组实施前进行经营过程模型的正确性分析与验证,有效支持企业实施模型改进和过程重组.