工作流正确性问题综述

• 作者: 张民 李西明 蒋郁 郭玉彬
• 来源期刊: 计算机应用研究
• 关键词: 工作流管理系统 工作流模型 事务工作流 正确性 异常
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 综述评论
• 页码范围: 1645-1649
• 页数: 5页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.05.012

摘要

首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述.对结构正确性,从模型角度进行了正确性定义、判定依据及判定工具的介绍.对执行正确性,从事务、异常处理两个方面介绍了当前工作流正确性的保障技术.最后,对已有工作流正确性问题的理论和实现技术进行了比较,并总结了这方面的几个研究方向,供研究人员借鉴.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李西明	华南农业大学现代教育技术中心	28	86	4.0	9.0
2	张民	聊城大学计算机学院	19	102	7.0	9.0
3	蒋郁	华南农业大学现代教育技术中心	14	111	7.0	10.0
4	郭玉彬	华南农业大学信息学院	21	45	4.0	6.0