YAWL中OR—join任务使能判断的改进及形式化说明 |
| |
引用本文: | 孙玲芳,方锦烽,汲铮,沈晶,王燕,徐曰光.YAWL中OR—join任务使能判断的改进及形式化说明[J].华东船舶工业学院学报,2007,21(5):64-68. |
| |
作者姓名: | 孙玲芳 方锦烽 汲铮 沈晶 王燕 徐曰光 |
| |
作者单位: | [1]江苏科技大学经济管理学院,江苏镇江212003 [2]无锡职业技术学院,江苏无锡214121 [3]江苏科技大学电子信息学院,江苏镇江212003 |
| |
摘 要: | 为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。
|
关 键 词: | 工作流 YAWL语言 或汇合 Reset网 |
本文献已被 维普 等数据库收录! |
|