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

作     者：单继城 黄光奇 王德鑫 刘青宝 SHAN Ji-cheng;HUANG Guang-qi;WANG De-xin;LIU Qing-bao

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

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

出 版 物：《信息工程大学学报》 (Journal of Information Engineering University)

年 卷 期：2015年第16卷第2期

页      码：218-224页

摘      要：BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。

主 题 词：混合工作流 BPEL4People 着色Petri网 建模验证 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1671-0673.2015.02.017

馆 藏 号：203659147...