导　　师： 陈新;陈新度

学科专业： H0202

授予学位： 硕士

作　　者： ;

机构地区： 广东工业大学

摘　　要： 工作流技术是实现企业业务流程管理自动化的一项重要的计算机技术。为了解决工作流结构验证问题，本文首先介绍了工作流技术的相关概念和研究现状，阐明了应用有错误的工作流模型带来的危害及对工作流模型投入工作流系统前进行验证的必要性，综述了工作流模型结构验证相关的研究成果，归纳总结出目前工作流验证的三种主要验证方法：工作流网法、基于pi演算法、化简规约法。在以上研究的基础上提出了基于有向超图的深度优先搜索工作流模型验证方法。 由于有向超图具有坚实的数学基础和严格的形式化分析手段，能够清楚地描述多对多、一对多、多对一的关系。在工作流建模过程中可以省略与分支、与汇聚、或分支、或汇聚等伪节点，减少模型中的元素，使图形更为简洁易懂。本文根据有向超图的上述特点，给出了与分支、与汇聚、或分支、或汇聚四种超节点结构和工作流模型向有向超图映射的规则，用有向超图描述工作流模型。 阐明死锁和同步缺乏的工作流模型结构错误和引起的原因，提出了对基于有向超图的工作流模型进行深度优先搜索验证方法，以每一个或分支超节点结构的子分支为分类建立实例子图，以最左最深的原则对模型的所有实例子图进行搜索验证。 用某企业it部门采购工作流程模型来说明深度优先搜索的具体操作步骤，结果表明我们提出的验证方法能够很好地找出有向超图工作流模型中的死锁和同步缺乏结构冲突。 开发了一个工作流模型验证工具wf editor。以有缺陷的企业it部门采购工作流程模型为对象，用wf editor进行死节点、死路、不可达目标、死锁、同步缺乏探测。结果再一次表明我们提出的验证方法行之有效。

关 键 词： 工作流 模型验证 有向超图 深度优先搜索

分 类 号： [TH165]

领　　域： [机械工程]