摘要
随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。
With the rapid development of Internet technology, the demand for business process modeling of complex system is increasing. In order to verify the correctness of the business process model with time constraints, this paper put forward a kind of graph decomposition algorithm based on node switching rules, which transforms the business process model into execution trace set and transforms the execution trace set to Prolog. That is to say, the trace of nodes, gateway and time constraints are all converted into Prolog fact. This paper put forward an algorithm that trans-forms the business process model to Prolog language and transforms the duration time pattern, cycle time pattern and fixed time pattern into Prolog rules, supporting the validation of the business process model on three time patterns. Finally,a medical process instance with time constraints was verified.
出处
《计算机科学》
CSCD
北大核心
2016年第6期173-178,共6页
Computer Science
基金
国防科工局十二五重大基础科研项目(c0420110005
NS2013091)资助
关键词
时间约束
时间模式
业务流程模型
验证方法
Time constraints, Time pattern, Business process model, Verification method