摘要
针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。
A reasonable workflow model, which is defined by Workflow Management Coalition （WFMC）, is difficult to be constructed. For the reason, it is mapped to workflow net （WF-net） Based on the two adjusted mappings that not destroy the structure properties and system behaviors of the original WF-net）, the WF-net is adjusted to a completely extended free choice net （EFC-net）. With the rank theorem, an algorithm is given to verify the soundness of the WF-net.
出处
《长春工业大学学报》
CAS
2006年第2期162-164,共3页
Journal of Changchun University of Technology
关键词
工作流模型
工作流网
扩展自由选择网
workflow model
workflow net （WF-net）
extended free choice net （EFC-net）.
