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

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强大的描述和分析能力.

To satisfy the enterprise process modeling requirements in the ability of powerful expression and analysis, a new extended workflow net（EWF_net） was proposed for formalizing workflow patterns. EWF_ net extended workflow net（WF_net） by adding some mechanisms, and improved the power of describing dynamic workflow model of WF_net. EWF net was designed for directly describing various complex process, especially multiple instances, cancel activity, advanced parallel and synchronization which were not supported by most Petri-net models. Control variable was introduced workflow model. In EWF_net, a special transition, transfer routing of the model. A formal correctness in EWF_net for describing the relevant data of transition was introduced for supporting dynamic analysis method of EWF_net was given based on the analysis techniques of Petri-net. The correctness analysis of EWF net consisted of the analysis of consistent and the analysis of soundness of corresponding WF_net. Finally, an application example was described and analyzed in EWF_net which showed its power of description and analysis.