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

单继城; 黄光奇; 王德鑫; 刘青宝

首页> 中文期刊> 《信息工程大学学报》 >基于着色Petri网的混合工作流建模及合理性分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《信息工程大学学报》 |2015年第2期|218-224|共7页
作者
单继城; 黄光奇; 王德鑫; 刘青宝;
展开▼
作者单位

国防科技大学信息系统工程重点实验室,湖南长沙410073;

国防科技大学信息系统工程重点实验室,湖南长沙410073;

广州军区空军指挥自动化站,广东广州510072;

国防科技大学信息系统工程重点实验室,湖南长沙410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
混合工作流; BPEL4People; 着色Petri网; 建模验证;

相似文献

中文文献
外文文献
专利

1. 基于着色Petri网的工作流建模和合理性分析 [J] . 陈翔 ,夏国平 . 计算机集成制造系统 . 2004,第004期
2. 基于着色petri网的电子商务跨组织工作流建模与分析 [J] . 韩耀军 ,郭家堂 . 系统仿真学报 . 2007,第A01期
3. 基于着色Petri网的电子商务工作流建模研究 [J] . 王文铭 ,殷凤朝 . 甘肃科学学报 . 2014,第005期
4. 基于着色Petri网的企业间电子商务工作流建模 [J] . 张格 ,王纬武 ,代月川 . 科技视界 . 2014,第023期
5. 基于着色Petri网的电子商务工作流建模 [J] . 朱连章 ,张红霞 . 中国石油大学学报（自然科学版） . 2006,第004期
6. 基于着色petri网的电子商务跨组织工作流建模与分析 [C] . 韩耀军 ,郭家堂 . 第十一届全国Petri网理论与应用学术年会 . 2007
7. 基于着色Petri网的工作流建模与分析研究 [A] . 刘峰 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅