基于着色Petri网的混合工作流建模及合理性分析  

Hybrid Workflow Modeling and Verification Based on Coloured Petri-Nets

作　　者：单继城 黄光奇[1] 王德鑫 刘青宝[1] 

机构地区：[1]国防科技大学信息系统工程重点实验室,湖南长沙410073 [2]广州军区空军指挥自动化站,广东广州510072

出　　处：《信息工程大学学报》2015年第2期218-224,共7页Journal of Information Engineering University

基　　金：国家自然科学基金资助项目(70771110)

摘　　要：BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。Web Services Business Process Execution Language （WS-BPEL or BPEL for brevity） in- troduces a model for business processes based on Web services. BPEL processes did not incorporate people as another type of participants, which also take part in business processes and can influence the process execution. Neither could BPEL processes ensure its correctness in execution. This paper introduces the BPEL4 People specification to describe the hybrid workflow in order to integrate com- manders＇ activities with the system. To reduce the losses due to the process flow design error caused during actual deployment and operation, a hybrid workflow modeling method is investigated based on coloured Petri-nets in a module aggregation way and the correctness validation work is performed, such as boundness, reachability and liveness of the hybrid workflow through CPN Tools.

关 键 词：混合工作流 BPEL4People 着色PETRI网 建模验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]