摘要： 针对项目管理中的工作流控制需求，提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系，阐述工作流的设计与执行规则，包括分支设计规则和回路设计规则，定义工作流图分支结构中汇聚结点的时序同步规则，并给出一个优化的回路检测方法。实例应用结果证明了该模型的有效性。

关键词: 工作流模型, 顶点活动网, 形式化描述, 工作流管理系统

Abstract: According to the requirement of workflow management system for project management, an abstract workflow model based on Activity On Vertex(AOV) network is presented. The formal definition of this model, time sequences of nodes are given. Rules of the workflow design and execution are given, including branch and cycle structure design rules, and a synchronization rule for joining nodes in branch structures. An optimized cycle detection method is presented. Application results show that the model is efficient.

Key words: workflow model, Activity On Vertex(AOV) network, formalized description, workflow management system

中图分类号: 

• TP391