基于STN的业务流时间一致性消解方法

• 作者: 周勇 燕雪峰 郁文枢
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 业务流 时间约束 STN 一致性检验 冲突消解
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 算法
• 页码范围: 239-241,291
• 页数: 4页
• 分类号: TP311
• 字数: 4124字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2016.04.056

摘要

目前对业务流约束验证的研究着重于研究验证单路径的时间约束的满足情况,没有考虑多路径的情况,对时间一致性冲突消解的研究也很少.为验证业务流的时间一致性,从路径分支问题和单任务动态时间满足约束的情况出发,在原有约束一致性上提出路径一致性和强一致性,以及基于STN(Simple Temporal Network)方法的不一致性消解算法并分析其收敛性等性质.最后以医疗流程的业务流为例进行了分析验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周勇	南京航空航天大学计算机科学与技术学院	47	321	8.0	16.0
2	郁文枢	南京航空航天大学计算机科学与技术学院	2	6	1.0	2.0
3	燕雪峰	南京航空航天大学计算机科学与技术学院	34	192	7.0	12.0