New extended workflow net for formalizing workflow patterns
-
摘要: 为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(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.
-
Key words:
- workflow patterns /
- workflow net /
- workflow model /
- Petri nets
-
[1] Aalst W, Hofstede A, Kiepuszewski B. Workflow patterns [J]. Distributed and Parallel Databases,2003,14(1):121-145 [2] Aalst W,Hofstede A. YAWL:yet another workflow language[J]. Informatio n Systems,2005,30(4):15-32 [3] Aalst W, Hee K. Workflow management:models,methods and systems[M].Mas sachusetts:MIT Press,2002:208-229 [4] 袁崇义. Petri网原理[M].北京:电子工业出版社,2005:213-259 Yuan Chongyi. Petri net theory[M].Beijing:Publishing House of Electronics In dustry,2005:213-259(in Chinese) [5] 蒋昌俊.Petri网的行为理论及其应用[M].北京:高等教育出版社,2003: 157-176 Jiang Changjun. Behavior theory and applications of Petri-net[M]. Beijing:Pub lishing House of Higher Education,2003:157-176(in Chinese) [6] 曾庆田,段华.一类含时间因素工作流的建模与时间性能挖掘[J].计算机集成制造系统,2005,11(6):230-233 Zeng Qingtian, Duan Hua. Modeling and time mining for workflow involving time fa ctors[J]. Computer Integrated Manufacturing Systems,2005,11(6):230-233(in Chin ese) [7] 赵海,马殿富,怀进鹏,等.一种基于web的工作流系统的设计与实现[J]. 北京航空航天大学学报,2001,27(4):456-460 Zhao Hai, Ma Dianfu, Huai Jinpeng, et al. A web-based workflow system design an d implementation[J]. Journal of Beijing University of Aeronautics and Astronau tics,2001,27(4):456-460(in Chinese) -
点击查看大图
计量
- 文章访问数: 3222
- HTML全文浏览量: 211
- PDF下载量: 1256
- 被引次数: 0
下载:
