北京航空航天大学学报 ›› 2007, Vol. 33 ›› Issue (01): 59-62.

• 论文 • 上一篇    下一篇

一种支持工作流模式的扩展工作流网

张亮, 金茂忠, 姚淑珍   

  1. 北京航空航天大学 计算机学院, 北京 100083
  • 收稿日期:2006-01-06 出版日期:2007-01-31 发布日期:2010-09-19
  • 作者简介:张 亮(1977-),男,江苏南通人,博士生,liang.z@buaa.edu.cn.

New extended workflow net for formalizing workflow patterns

Zhang Liang, Jin Maozhong, Yao Shuzhen   

  1. School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
  • Received:2006-01-06 Online:2007-01-31 Published:2010-09-19

摘要: 为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.

Abstract: To satisfy the enterprise process modeling requirements in the ability of powerf ul expression and analysis, a new extended workflow net(EWF_net) was proposed fo r formalizing workflow patterns. EWF_net extended workflow net(WF_net) by adding some mechanisms, and improved the power of describing dynamic workflow mode l of WF_net. EWF_net was designed for directly describing various comp lex process, especially multiple instances, cancel activity, advanced parallel a nd synchronization which were not supported by most Petri-net models. Control v ariable was introduced in EWF_net for describing the relevant data of workflow m odel. In EWF_net, a special transition,transfer transition was introduced for s upporting dynamic routing of the model. A formal correctness analysis method of EWF_net was given based on the analysis techniques of Petri-net. The correctness analy s is of EWF_net consisted of the analysis of consistent and the analysis of soundne ss of corresponding WF_net. Finally, an application example was described and an alyzed in EWF_net which showed its power of description and analysis.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发