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

• 作者: 刘青宝 单继城 王德鑫 黄光奇
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 混合工作流 BPEL4People 着色Petri网 建模验证
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 计算机技术及应用
• 页码范围: 218-224
• 页数: 7页
• 分类号: TP311
• 字数: 4887字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2015.02.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘青宝	国防科技大学信息系统工程重点实验室	20	202	7.0	14.0
2	黄光奇	国防科技大学信息系统工程重点实验室	10	72	5.0	8.0
3	单继城	国防科技大学信息系统工程重点实验室	2	7	1.0	2.0