YAWL中OR-join任务使能判断的改进及形式化说明  

Improvement in Enabling of OR-join in Yet Another Workflow Language

作　　者：孙玲芳[1] 方锦烽[2] 汲铮[1] 沈晶[1] 王燕[3] 徐曰光[3] 

机构地区：[1]江苏科技大学经济管理学院,江苏镇江212003 [2]无锡职业技术学院,江苏无锡214121 [3]江苏科技大学电子信息学院,江苏镇江212003

出　　处：《江苏科技大学学报（自然科学版）》2007年第5期64-68,共5页Journal of Jiangsu University of Science and Technology:Natural Science Edition

基　　金：江苏省高校自然科学研究计划项目(06KJD520058)

摘　　要：为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。By analyzing the YAWL（yet another workflow language）, it can be found that the enabling of a OR-join task which has another OR-join in its branch will be in advance. To solve this problem, the XOR-join and AND-join can be used to replace it. It is obvious that this method is easy and feasible in the analysis and the improvement can also be formalized by using the Reset nets.

关 键 词：工作流 YAWL语言 或汇合 Reset网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]