一种基于Prolog的时间约束业务流程验证方法

• 作者: 周勇 燕雪峰 陈鹤文
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 时间约束 时间模式 业务流程模型 验证方法
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 173-178
• 页数: 6页
• 分类号: TP311
• 字数: 6577字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.6.035

摘要

随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大.针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证.最后对一个带有时间约束的医疗流程实例进行了验证.

作者信息

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