随着中国经济的快速发展,国内企业的业务规模不断扩大,企业的业务流程复杂度也随之增加。为了适应时代的发展,更多的企业引入工作流技术管理业务流程,在工作流技术中,工作流模型是业务流程流转的基础,工作流模型结构的正确性直接关系到业务流程流转的正确性,如果错误的工作流模型结构投入到企业的生产环境中,将会给企业带来不可估量的损失。因此在业务流程流转前,需要对其工作流模型结构进行验证,确保业务流程以正确的工作流模型进行流转。目前业界中有许多工作流模型结构验证算法,但是在实际运用中,这些算法很难有效,全面地验证出工作流模型常见的错误结构,比如文献[10]中提出的工作流网的六大化简规则,其化简过程太过抽象化,本文在此基础上设计出基于工作流网化简的验证算法,在算法中通过关联矩阵对工作流网的六大化简规则进行了实现,并引用文献[13]中提出的工作流模型中常见结构出现的频率,采用哈夫曼编码思想对化简规则进行排序,详细阐述了该算法对工作流模型结构的验证过程,得出该算法可以很好有效地验证出工作流模型常见的错误结构。本文还分析指出了文献[11]与文献[17]中的两种工作流模型结构验证算法在验证工作流模型常见的错误结构方面的问题,为了解决这两种工作流模型结构验证算法验证不全的问题,本文设计出一个基于邻接矩阵搜索的验证算法,在算法中提出了三条工作流模型结构验证规则,基于这三条工作流模型结构验证规则,深度优先搜索遍历工作流模型结构的邻接矩阵,判断工作流模型结构是否满足验证规则,并详细阐述了该算法对工作流模型结构的验证过程,得出该算法可以很好有效地验证出工作流模型常见的错误结构。在此基础上,本文设计并实现了一个业务流程管理系统,并在系统中运用本文设计的两种工作流模型结构验证算法来验证工作流模型结构的正确性,保证系统中的业务流程能够正确流转。最后根据系统测试结果表明,本文设计的两种的工作流模型结构验证算法是正确且高效的。