工作流网WRI WF-net的验证方法研究及实现

• 作者: 吕建 朱伟杰 胡昊 葛季栋 鲁平
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: WF-net WRI WF-net 工作流模型 合理性
• 年，卷（期）: 2006,（5）
• 页码范围: 519-527
• 页数: 9页
• 分类号: TP3
• 字数: 7388字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2006.05.011

摘要

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室计算机软件研究所	120	2738	23.0	51.0
2	胡昊	南京大学计算机软件新技术国家重点实验室计算机软件研究所	25	428	6.0	20.0
3	葛季栋	南京大学计算机软件新技术国家重点实验室计算机软件研究所	12	88	5.0	9.0
4	鲁平	南京大学计算机软件新技术国家重点实验室计算机软件研究所	3	9	2.0	3.0
5	朱伟杰	南京大学计算机软件新技术国家重点实验室计算机软件研究所	1	5	1.0	1.0