基于工作流模式的BPMN过程模型验证方法

蔡章利; 易树平; 高庆萱

首页> 中文期刊> 《计算机集成制造系统》 >基于工作流模式的BPMN过程模型验证方法

基于工作流模式的BPMN过程模型验证方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.

著录项

来源
《计算机集成制造系统》 |2010年第8期|1578-1586|共9页
作者
蔡章利; 易树平; 高庆萱;
展开▼
作者单位

重庆大学;

机械工程学院;

重庆400044;

重庆大学;

自动化学院;

重庆400044;

重庆大学;

机械工程学院;

重庆400044;

重庆大学;

机械工程学院;

重庆400044;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
工作流; 业务流程; 建模; 过程模型; 语义验证; Petri网;

相似文献

中文文献
外文文献
专利

1. 基于Petri网工作流过程模型合理性验证方法 [J] . 王立君 ,郭晓冬 . 吉林大学学报（信息科学版） . 2011,第006期
2. 基于Petri网分析技术的BPMN2.0过程模型的语义分析 [J] . 王冶青 . 科技创新导报 . 2021,第019期
3. 基于工作流模式的OWL-S过程模型分析及其应用 [J] . 雷丽晖 ,段振华 . 计算机科学 . 2007,第005期
4. 基于Petri网的工作流模式——工作流模式分析研究 [C] . 余鹏 ,周国富 ,屈婉玲 . 第九届全国Petri网学术年会 . 2003
5. 基于BPMN规范的工作流引擎设计与实现 [A] . 王刚 . 2020

基于工作流模式的BPMN过程模型验证方法

摘要

著录项

相似文献

相关主题

期刊订阅