| 基于工作流模式的BPMN过程模型验证方法 |
| |
| 引用本文： | 蔡章利,易树平,高庆萱.基于工作流模式的BPMN过程模型验证方法[J].计算机集成制造系统,2010,16(8). |
| |
| 作者姓名： | 蔡章利 易树平 高庆萱 |
| |
| 作者单位： | 1. 重庆大学,机械工程学院,重庆400044;重庆大学,自动化学院,重庆400044
2. 重庆大学,机械工程学院,重庆400044 |
| |
| 基金项目： | 国家自然科学基金资助项目，高等学校博士学科点专项科研基金资助项目，重庆市教育委员会科学技术研究资助项目 |
| |
| 摘 要： | 针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.
|
| 关 键 词： | 工作流 业务流程 建模 过程模型 语义验证 Petri网 |
Verification method for BPMN process model based on workflow patterns |
| |
| CAI Zhang-li,YI Shu-ping,GAO Qing-xuan.Verification method for BPMN process model based on workflow patterns[J].Computer Integrated Manufacturing Systems,2010,16(8). |
| |
| Authors: | CAI Zhang-li YI Shu-ping GAO Qing-xuan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
