基于AOV网的抽象工作流模型  

Abstract Workflow Model Based on AOV Network

作　　者：陈谊[1] 新吉乐[1] 孙悦红[1] 李海生[1] 

机构地区：[1]北京工商大学计算机与信息工程学院,北京100048

出　　处：《计算机工程》2011年第9期90-92,共3页Computer Engineering

基　　金：北京市教委科技发展计划基金资助项目(KM200910011007)

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

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]