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

• 论文 •

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

蔡章利，易树平，高庆萱

1.重庆大学机械工程学院，重庆400044；2.重庆大学自动化学院，重庆400044

出版日期:2010-08-15 发布日期:2010-08-25

Verification method for BPMN process model based on workflow patterns

CAI Zhang-li, YI Shu-ping, GAO Qing-xuan

1.College of Mechanical Engineering, Chongqing University, Chongqing 400044, China;2.College of Automation, Chongqing University, Chongqing 400044, China

Online:2010-08-15 Published:2010-08-25

摘要/Abstract

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

关键词: 工作流, 业务流程, 建模, 过程模型, 语义验证, Petri网

Abstract: To semantically validate Business Process Model Notation(BPMN)process model, a new method was put forward. This method was based on the idea that correct BPMN process model was the sound combination of workflow patterns. By improving the BPMN's notations and execution semantics, the formal encoding rules were designed. And the combinatorial simplification rules were designed by borrowing Petri net's simplification methods. The algorithms to validate the BPMN process model were also presented. Finally, this method was proved to be effective in validating BPMN process model by application examples.

Key words: workflow, business process, modeling, process model, semantic verification, Petri nets

中图分类号:

TP391

蔡章利,，易树平，高庆萱. 基于工作流模式的BPMN过程模型验证方法[J]. .

CAI Zhang-li,, YI Shu-ping, GAO Qing-xuan. Verification method for BPMN process model based on workflow patterns[J]. .

[1]	王琦,闻立杰,邓雅方,钱忱,王建民. 基于过程模型约束的轨迹乱序事件修复方法[J]. 计算机集成制造系统, 2021, 27(9): 2491-2500.
[2]	郜启凯,李莹,邓水光. 支持跨组织协作的高可靠性服务编排框架[J]. 计算机集成制造系统, 2021, 27(9): 2501-2507.
[3]	唐玄昭,余阳,吴荆璞,潘茂林. 基于区块链的业务流程互操作服务框架[J]. 计算机集成制造系统, 2021, 27(9): 2508-2516.
[4]	孙笑笑,侯文杰,沈沪军,应钰柯,俞东进. 基于上下文感知的多角度业务流程在线异常检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2532-2541.
[5]	文一凭,王志斌,刘建勋,许小龙,康国胜. 云际协作环境下能耗与成本感知的工作流调度方法[J]. 计算机集成制造系统, 2021, 27(9): 2583-2591.
[6]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[7]	倪维健,吉桂芳,曾庆田,刘彤,段华. 基于表示学习的业务过程模型匹配方法[J]. 计算机集成制造系统, 2021, 27(9): 2661-2669.
[8]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[9]	闫志强,杨翰宇,程冠杰,刘洪荣,邓水光,刘冠宇,杨明. 基于区块链的服务质量综合评估框架与算法[J]. 计算机集成制造系统, 2021, 27(9): 2708-2720.
[10]	朱坚民,石园园,田丰庆,黄扬辉,孟聪,陈琳. 考虑夹头与刀具过渡段的主轴系统精确建模[J]. 计算机集成制造系统, 2021, 27(8): 2215-2225.
[11]	杨旭亭,王孜悦,李凤鸣,宋锐. 基于过程建模的机器人分阶引导装配方法[J]. 计算机集成制造系统, 2021, 27(8): 2321-2330.
[12]	肖甜丽,马义中,林成龙. 面向质量设计的Kriging组合建模技术[J]. 计算机集成制造系统, 2021, 27(7): 2023-2034.
[13]	吴鹏兴,郭宇,黄少华,杨能俊,熊伟杰,郭具涛. 基于数字孪生的离散制造车间可视化实时监控方法[J]. 计算机集成制造系统, 2021, 27(6): 1605-1616.
[14]	袁友伟,黄锡恺,俞东进,李忠金. 移动边缘计算环境下服务工作流容错调度算法[J]. 计算机集成制造系统, 2021, 27(6): 1693-1702.
[15]	朱锐,黄月,李彤,马自飞,郑明,汤雅惠. 支持结构与行为融合的过程模型索引构建与检索[J]. 计算机集成制造系统, 2021, 27(5): 1447-1458.