| 一种支持工作流模式的扩展工作流网 |
| |
| 引用本文： | 张亮,金茂忠,姚淑珍.一种支持工作流模式的扩展工作流网[J].北京航空航天大学学报,2007,33(1):59-62. |
| |
| 作者姓名： | 张亮 金茂忠 姚淑珍 |
| |
| 作者单位： | 北京航空航天大学 计算机学院, 北京 100083 |
| |
| 摘 要： | 为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(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强大的描述和分析能力.
|
| 关 键 词： | 工作流模式 工作流网 工作流模型 Petri网 |
| 文章编号： | 1001-5965(2007)01-0059-04 |
| 收稿时间： | 2006-01-06 |
| 修稿时间： | 2006-01-06 |
New extended workflow net for formalizing workflow patterns |
| |
| Zhang Liang,Jin Maozhong,Yao Shuzhen.New extended workflow net for formalizing workflow patterns[J].Journal of Beijing University of Aeronautics and Astronautics,2007,33(1):59-62. |
| |
| Authors: | Zhang Liang Jin Maozhong Yao Shuzhen |
| |
| Institution: | School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China |
| |
| Abstract: | |
| |
| Keywords: | workflow patterns workflow net workflow model Petri nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
