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

• 作者: 姚淑珍 张亮 金茂忠
• 来源期刊: 北京航空航天大学学报
• 学科: 工学
• 关键词: 工作流模式 工作流网 工作流模型 Petri网
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 信息科学
• 页码范围: 59-62
• 页数: 4页
• 分类号: TP301
• 字数: 3287字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-5965.2007.01.014

摘要

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种支持工作流模式的扩展工作流网(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强大的描述和分析能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金茂忠	北京航空航天大学计算机学院	124	2563	23.0	48.0
2	张亮	北京航空航天大学计算机学院	26	294	11.0	17.0
3	姚淑珍	北京航空航天大学计算机学院	45	393	10.0	18.0