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

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

为避免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.