基于图归约法的工作流模型验证

• 作者: 刘毅 邹宇 陈佩文
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 工作流 模型验证 结构冲突 图归约
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 应用与实现
• 页码范围: 86-88
• 页数: 3页
• 分类号: TP278
• 字数: 3131字
• 语种: 中文

摘要

详细论述了对基于有向有环图(DCG图)的工作流模型结构正确性进行验证的图归约法及其五种归约规则.根据这些规则即可判定工作流模型中存在的结构冲突,从而迅速对其进行修正.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘毅	南京航空航天大学航空宇航学院	22	306	9.0	17.0
2	邹宇	南京航空航天大学信息科学与技术学院	3	30	1.0	3.0
3	陈佩文	南京航空航天大学信息科学与技术学院	2	41	2.0	2.0