计算机科学 ›› 2016, Vol. 43 ›› Issue (6): 173-178.doi: 10.11896/j.issn.1002-137X.2016.06.035
陈鹤文,周勇,燕雪峰
CHEN He-wen, ZHOU Yong and YAN Xue-feng
摘要: 随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。
[1] Fan Yu-shun,Wu Cheng.Research on workflow modeling to improve system flexibility[J].Journal of Software,2002,13(4):833-839(in Cinese) 范玉顺,吴澄.一种提高系统柔性的工作流建模方法研究[J].软件学报,2002,13(4):833-839 [2] Van Der Aalst W,Van Hee K M.Workflow management:mo-dels,methods,and systems[M].MIT press,2004:30-150 [3] Aalst V D,Wil M P.Business Process Management:A Comprehensive Survey[J].Isrn Software Engineering,2012,2013(2):125-143 [4] Brger E.Approaches to modeling business processes:a critical analysis of BPMN,workflow patterns and YAWL[J].Software &Systems Modeling,2012,11(3):305-318 [5] Wu N Q,Zhou M C.Modeling,analysis and control of dual-arm cluster tools with residency time constraint and activity time variation based on Petri nets[J].IEEE Transactions on Automation Science and Engineering,2012,9(2):446-454 [6] L Ye-bai,M Fu-qi.Research of the verification in workflow process modeling on the application of Petri nets[C]∥International Conference on e-Education,e-Business,e-Management,and e-Learning,2010(IC4E’10).IEEE,2010:21-24 [7] Szpyrka M,Nalepa G J,Lige,za A,et al.Proposal of formal verification of selected BPMN models with Alvis modeling language[M]∥Intelligent Distributed Computing V.Springer Berlin Heidelberg,2012:249-255 [8] Lanz A,Weber B,Reichert M.Time patterns for process-aware information systems[J].Requirements Engineering,2014,9(2):113-141 [9] Zhou N F.The language features and architecture of B-Prolog[J].Theory and Practice of Logic Programming,2012,12(1/2):189-218 [10] Combi C,Gozzi M,Posenato R,et al.Conceptual modeling of flexible temporal workflows[J].ACM Transactions on Autonomous and Adaptive Systems (TAAS),2012,7(2):451-457 |
No related articles found! |
|