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

Vo l. 43 No.6 第 43 卷第6 期 计算机科学 2016 年 6 月 Computer Science June 2016 一种基于 Prolog 的时间约束业务流程验证方法 陈鹤文周勇燕雪峰 (南京航空航天大学计算机科学与技术学院 南京 210016) 摘 要 随着互联网技术的快速发展，对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模 型的正确性验证问题，提出了一种基于节点转换规则的图分解算法，将业务流程模型转换为运行时流程轨迹集合;设 计了流程轨迹集合到 Prolog 的转换，将轨迹中的节点与时间约束转化为 Prolog 事实，提出了一种业务流程模型到 Prolog 语言的转换算法;将持续时间、周期循环与固定时刻 3 种时间模式转换为 P