工作流管理技术是近年来在计算机领域发展中最为迅速的若干项技术之一。目前，工作流技术进入了一个崭新的发展阶段，成为计算机应用领域的一个研究热点，研究方向主要包括工作流模型及定义语言、工作流分析方法、工作流管理系统体系结构等。 随着工作流管理系统应用规模的不断扩大、应用领域的不断拓展，如何定义正确的工作流模型，以及对已有业务过程模型进行分析优化，已经成为工作流及相关技术领域研究和探索的重点之一。论文在介绍青鸟过程元模型—JBDelta和同步网原理的基础上，对工作流建模及过程模型的正确性验证进行了相关的研究和实践。 论文首先介绍工作流技术的发展背景和研究意义，概述了论文的研究目标及硕士期间论文作者的主要科研工作。 其次，介绍工作流的基本概念，包括工作流、工作流管理系统、工作流模型、工作流模式、工作流定义语言的定义、分类及特点，并简述了工作流研究方向和目前国内外工作流模型验证方法现状。 然后，详细描述了改进的工作流过程元模型和定义语言，分析了青鸟组织机构规约、青鸟数据规约、青鸟功能规约，并在此基础上提出了青鸟工作流模型—JBDelta。JBDelta具有简单直观、易于理解等优点，并且它提供了丰富的过程建模元素，能够描述多种复杂的业务流程。 接着，介绍同步网的原理及相关知识。同步网是在Petri网的基础上发展而来的，其核心是同步器(Synchronizer)。在对已有模型分析方法进行研究分析的基础上，提出了一种基于同步网的图形化方法，以验证工作流模型的正确性。 最后，基于文献提出的化简规则，用PNML(Petri Net Markup Language)语言对其进行描述，并在青鸟工作流管理系统JBFlow中设计并实现了模型验证工具—JBVerifier。 实践证明，本文提及的工作流模型验证方法和工具能够对工作流模型的正确性进行分析与验证，从而有效地支持企业实施模型改进和过程重组(BPR Business Process Reengineering)。