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

发布时间：2018-01-29 02:22

  本文关键词： 工作流模型 顶点活动网 形式化描述 工作流管理系统　出处：《计算机工程》2011年09期 　论文类型：期刊论文

【摘要】：针对项目管理中的工作流控制需求,提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系,阐述工作流的设计与执行规则,包括分支设计规则和回路设计规则,定义工作流图分支结构中汇聚结点的时序同步规则,并给出一个优化的回路检测方法。实例应用结果证明了该模型的有效性。
[Abstract]:An abstract workflow model based on vertex activity AOV net is proposed to meet the requirements of workflow control in project management. The formal definition of the model and the temporal relationships of each node are given. The design and execution rules of workflow are described, including branch design rules and loop design rules, and the timing synchronization rules of convergence nodes in branch structure of workflow graph are defined. An optimized loop detection method is presented and the effectiveness of the model is proved by an example.
【作者单位】： 北京工商大学计算机与信息工程学院;
【基金】：北京市教委科技发展计划基金资助项目(KM200910011007)
【分类号】：TP311.52
【正文快照】： 1概述工作流的建模及其正确性检验在工作流管理中起着重要的作用。近年来,学术界提出了多种工作流建模和验证方法,例如,文献[1]提出一种组件层次的工作流模型;文献[2]提出一种分布工作流模型;文献[3]使用霍尔逻辑研究了验证工作流正确性的方法;文献[4]提出使用霍尔逻辑实现BPE

【参考文献】

相关期刊论文 前2条

1 陈天影;周伯生;邢少敏;;基于过程模型的工作流执行语义研究[J];计算机工程;2009年06期

2 褚红伟;赵银亮;葛玮;;分布工作流过程模型及其实现[J];计算机工程;2009年14期

【共引文献】

相关期刊论文 前3条

1 刘俊莉;欧阳松;;基于约束理论的工作流适应性改进[J];计算机工程;2010年11期

2 周春燕;李绪蓉;周良;;UML活动图模型正确性诊断方法[J];计算机工程;2011年14期

3 高捷;吴华瑞;;基于矩阵模型的工作流合理性验证算法研究[J];计算机工程与设计;2010年11期

相关硕士学位论文 前5条

1 张晓星;高技术虚拟企业谈判支持系统模型库研究[D];哈尔滨理工大学;2010年

2 余弦;Symbian智能手机固件剖析技术研究[D];解放军信息工程大学;2010年

3 曹连安;警用执法办案信息系统技术研究与实现[D];天津大学;2009年

4 陈铁东;基于工作流的港口基础软件平台的研究[D];北京交通大学;2010年

5 周春燕;基于MDA的元模型软件生成方法研究[D];南京航空航天大学;2011年

【二级参考文献】

相关期刊论文 前2条

1 赵志],盛秋戬,史忠植;UML活动图描述工作流模型的执行语义[J];计算机研究与发展;2005年02期

2 王聪;王智学;;UML活动图的操作语义[J];计算机研究与发展;2007年10期

【相似文献】

相关期刊论文 前10条

1 欧阳元新,熊璋;工作流模型的扩展及其形式化描述[J];计算机工程与应用;2005年31期

2 刘军;汤晓安;干哲;李晓慧;;基于活动网络图的工作流模型研究[J];微计算机信息;2009年09期

3 汪勇;熊前兴;;基于多Agent的智能电子商务系统研究[J];武汉理工大学学报(信息与管理工程版);2005年06期

4 张新谊;常国栋;奚宏生;;基于XML的组件化工作流模型研究[J];计算机应用与软件;2007年04期

5 郭靖;郭敏;;基于四级访问控制策略的工作流模型[J];武汉理工大学学报(信息与管理工程版);2006年02期

6 王振武;陈明;;一种子任务和动作分解的可扩展工作流模型[J];小型微型计算机系统;2008年06期

7 汪宏海;龙世荣;;基于ECA规则的动态工作流建模方法研究[J];丽水学院学报;2008年05期

8 铁菊红;彭辉;阿都建华;;基于并行组合模拟退火算法的过程挖掘[J];计算机应用;2009年05期

9 侯秀萍,姜卓,张伟,袁秀丽;医院管理工作流模型研究[J];微机发展;2005年04期

10 林琳;詹永照;年轶;;基于组织机构图的改进RBAC模型[J];江苏大学学报(自然科学版);2006年02期

相关会议论文 前10条

1 黄慧;边馥苓;;基于层次建模法的柔性工作流管理系统研究[A];中国地理信息系统协会第八届年会论文集[C];2004年

2 郑晓娟;金英;;基于Seal演算形式化描述移动Agent安全[A];2006年全国理论计算机科学学术年会论文集[C];2006年

3 郭雄辉;赵保华;周颢;屈玉贵;;基于构造类别代数的数据流和控制流相结合的协议测试[A];2003年通信软件技术学术年会论文集[C];2003年

4 徐春香;黄雨;王捍贫;;工作流逻辑模型分析[A];2006年全国理论计算机科学学术年会论文集[C];2006年

5 夏远强;王冲;;信息化背景下基于工作流的政府危机管理模式研究[A];中国灾害防御协会风险分析专业委员会第二届年会论文集（二）[C];2006年

6 贺晓燕;刘小龙;辛公正;周斌;张燕;;螺旋桨设计集成系统平台开发[A];第四届全国船舶与海洋工程学术会议论文集[C];2009年

7 王冲;夏远强;;信息化背景下基于工作流的政府危机管理模式研究[A];现代工业工程与管理研讨会会议论文集[C];2006年

8 蒋宇;陈佳;崔淼;;连锁经营模式下工作流的应用[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年

9 谢一;张为群;;基于Petri网的并发冲突工作流建模及验证[A];2006年全国理论计算机科学学术年会论文集[C];2006年

10 霍金健;徐春香;屈婉玲;袁崇义;;SimNet——一种新型的工作流仿真模型[A];2006年全国理论计算机科学学术年会论文集[C];2006年

相关重要报纸文章 前10条

1 汤大权 张维明 邓苏 肖卫东 李勇;主动信息服务[N];计算机世界;2001年

2 淮安市地方税务局信息管理处 王中明 许金国;人机结合 建设现代化地税[N];中国计算机报;2006年

3 何吟;“行业”标签让SunFlow更醒目[N];计算机世界;2004年

4 蒋明炜、戴宝纯、吴英;工作流管理与ERP的应用[N];中国计算机报;2003年

5 朱静芬;新一代ERP的特点[N];财会信报;2007年

6 山西焦煤集团驻深圳办事处 刘鹏;基于企业过程建模的工作流管理系统研究[N];山西科技报;2002年

7 中国工程院院士 沈昌祥;大力发展我国可信计算技术及产业[N];计算机世界;2007年

8 ;信息资源管理需要专业工具[N];中国计算机报;2004年

9 博文 编译;工作流应用平台WWF[N];计算机世界;2006年

10 本报记者 谌力;从核心竞争力看整合的实施[N];网络世界;2004年

相关博士学位论文 前10条

1 汪文元;基于工作流的兵力调度技术研究[D];国防科学技术大学;2005年

2 朱锦泉;可适应工作流模型及其实现机制研究[D];吉林大学;2005年

3 史玉良;Web服务合成的若干关键技术研究[D];复旦大学;2006年

4 李瑞欣;基于网络和状态监测的设备管理理论与方法研究[D];天津大学;2004年

5 袁逸萍;制造网格工作流研究及实现[D];上海大学;2006年

6 冯毅萍;石化生产过程多分辨率物流模型的建模方法[D];浙江大学;2008年

7 林民;汉字字形形式化描述方法及应用研究[D];北京工业大学;2009年

8 解放;并行工程中产品开发过程的工作流管理研究[D];南京航空航天大学;2002年

9 朱家诚;基于Web Services的客户定制产品设计系统研究[D];合肥工业大学;2005年

10 陈彦海;产品设计与工艺设计过程建模及其并行技术研究[D];哈尔滨工业大学;2006年

相关硕士学位论文 前10条

1 郭李华;工作流模型的CSP语义描述与分析研究[D];华东师范大学;2008年

2 刘军;基于领域组件的教务管理信息系统研究与设计[D];南华大学;2006年

3 潘红恩;现代集成制造中基于任务驱动的工作流管理模型研究[D];南京理工大学;2003年

4 夏晓东;基于Web和CORBA的工作流系统的研究[D];华北电力大学（河北）;2004年

5 彭刚;ESSP工作流模型及其应用研究[D];华中科技大学;2005年

6 杨叶勇;基于四色Petri网的物流系统建模[D];江南大学;2005年

7 卢珊;工作流技术在电力调度两票系统中的研究与应用[D];华北电力大学（河北）;2007年

8 杨子江;工作流技术及其在高校办公自动化系统的应用研究[D];重庆大学;2007年

9 战世格;基于工作流技术的应急救援指挥系统的研究[D];北京交通大学;2008年

10 李勇;继电保护定值管理系统的设计与开发[D];华北电力大学（河北）;2008年

，

本文编号：1472236