| YAWL中OR-join任务使能判断的改进及形式化说明 |
| |
| 引用本文： | 孙玲芳,方锦烽,汲铮,沈晶,王燕,徐曰光. YAWL中OR-join任务使能判断的改进及形式化说明[J]. 江苏科技大学学报(社会科学版), 2007, 21(5): 64-68 |
| |
| 作者姓名： | 孙玲芳 方锦烽 汲铮 沈晶 王燕 徐曰光 |
| |
| 作者单位： | 江苏科技大学经济管理学院 江苏镇江212003(孙玲芳，汲铮，沈晶)，无锡职业技术学院 江苏无锡214121(方锦烽)，江苏科技大学电子信息学院 江苏镇江212003(王燕，徐曰光) |
| |
| 基金项目： | 江苏省高校自然科学研究计划项目(06KJD520058) |
| |
| 摘 要： | 为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。
|
| 关 键 词： | 工作流 YAWL语言 或汇合 Reset网 |
| 文章编号： | 1673-4807(2007)05-0064-05 |
| 修稿时间： | 2007-05-29 |
Improvement in Enabling of OR-join in Yet Another Workflow Language |
| |
| SUN Lingfang,FANG Jinfeng,JI Zheng,SHEN Jing,WANG Yan,XU Yuguang. Improvement in Enabling of OR-join in Yet Another Workflow Language[J]. Journal of Jiangsu University of Science and Technology(Natural Science Edition), 2007, 21(5): 64-68 |
| |
| Authors: | SUN Lingfang FANG Jinfeng JI Zheng SHEN Jing WANG Yan XU Yuguang |
| |
| Abstract: | 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. |
| |
| Keywords: | workflow yet another workflow language OR-join Reset net |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
