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

被引：1

作者：

孙玲芳 ^{[1
]}

方锦烽 ^{[2
]}

汲铮 ^{[1
]}

沈晶 ^{[1
]}

王燕 ^{[3
]}

徐曰光 ^{[3
]}

机构：

[1] 江苏科技大学经济管理学院

[2] 无锡职业技术学院

[3] 江苏科技大学电子信息学院

来源：

江苏科技大学学报(自然科学版) | 2007年 / 05期

关键词：

工作流; YAWL语言; 或汇合; Reset网;

D O I：

暂无

中图分类号：

TP311.5 [软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。

引用

收藏

页码：64 / 68

页数：5

相关论文

共 3 条

[1] 基于Petri网的工作流模式——工作流模式分析研究 [J].

余鹏 ;

周国富 ;

屈婉玲 ;

袁崇义 .

系统仿真学报, 2003, (S1) :119-122

[2] Workflow Patterns [J].

W.M.P. van der Aalst ;

A.H.M. ter Hofstede ;

B. Kiepuszewski ;

A.P. Barros .

Distributed and Parallel Databases, 2003, 14 :5-51

[3]

Nabil R. Adam,Vijayalakshmi Atluri,Wei-Kuang Huang.Modeling and Analysis of Workflows Using Petri Nets[J].J. Intell. Inf. Syst.,1998