BPMN 2.0过程模型的语义和分析

计算机科学 ›› 2018, Vol. 45 ›› Issue (11A): 558-563.

BPMN 2.0过程模型的语义和分析

赵莹¹, 赵川¹, 黄苾², 代飞²

云南电力调度控制中心昆明650011¹
西南林业大学大数据与智能工程学院昆明650224²

出版日期:2019-02-26 发布日期:2019-02-26
通讯作者: 黄苾(1982-),女,硕士,讲师,主要研究方向为业务过程和软件工程,E-mail:125149146@qq.com
作者简介:赵莹(1983-),女,高级工程师,主要研究方向为电力调度自动化与信息化;赵川(1982-),男,高级工程师,主要研究方向为电力调度自动化与信息化;代飞(1982-),男,博士,副教授,主要研究方向为业务过程和软件工程。
基金资助:
本文受国家自然科学基金项目(61462095,61702442),云南省自然科学基金项目(2016FB102)资助。

Semantics and Analysis of BPMN 2.0 Process Models

ZHAO Ying¹, ZHAO Chuan¹, HUANG Bi², DAI Fei²

Yunnan Power Dispatching and Control Center,Kunming 650011,China¹
School of Big Data and Intelligence Engineering,Sourthwest Forestry University,Kunming 650224,China²

Online:2019-02-26 Published:2019-02-26

摘要/Abstract

摘要： BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。

关键词: BPMN 2.0, 工作流网, 业务过程, 语义定义, 语义分析

Abstract: The business process modelling notation 2.0 (BPMN 2.0) process is a defactor standard for capturing business processes.The mix of constructs found in BPMN 2.0 process makes it possible to obtain models with a range of semantic errors,including deadlocks and livelocks.Firstly,this paper defined a formal semantics of BPMN 2.0 process models in terms of a mapping to WF-nets.Secondly,this defined semantics were used to analyze the soundness of BPMN 2.0 process models,using analysis techniques of Petri nets.Finally,the experimental results showed that this formalization could identify the semantic errors of BPMN 2.0 process models.

Key words: BPMN 2.0, Business processes, Semantic analysis, Semantic definition, Workflow net

中图分类号:

TP311

赵莹, 赵川, 黄苾, 代飞. BPMN 2.0过程模型的语义和分析[J]. 计算机科学, 2018, 45(11A): 558-563. https://doi.org/

ZHAO Ying, ZHAO Chuan, HUANG Bi, DAI Fei. Semantics and Analysis of BPMN 2.0 Process Models[J]. Computer Science, 2018, 45(11A): 558-563. https://doi.org/

参考文献

[1]OMG.Business Process Model and Notation (BPMN) Version 2.0[EB/OL].http://www.omg.org/spec/BPMN/2.0.
[2]PALMER N.XML Process Definition Language[M].Springer US,2009.
[3]WOHED P,AALST W M P V D,DUMAS M,et al.Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams[M]∥Conceptual Modeling－ER 2005.Springer Berlin Heidelberg,2005:63-78.
[4]DIJKMAN R M,DUMAS M,OUYANG C.Formal semantics and analysis of BPMN process models using Petri nets[J].Information & Software Technology,2007,50(12):1281-1294.
[5]JIN T,WANG J,YANG Y,et al.Refactor Business Process Models with Maximized Parallelism[J].IEEE Transactions on Services Computing,2017,9(3):456-468.
[6]AALST W.The application of Petri nets to workflow management[J].Journal of Circuits System & Computers,1998,8(1):21-66.
[7]DIJKMAN R,GORP P V.BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules[J].Lecture Notes in Business Information Processing,2010,67:16-30.
[8]WONG P Y H,GIBBONS J.A Process Semantics for BPMN[C]∥Proceedings of the International Conference on Formal Engineering Methods.Berlin,Germany:Springer-Verlag,2008:355-374.
[9]WONG P Y H,GIBBONS J.Formalisations and applications of BPMN[J].Science of Computer Programming,2011,76(8):633-650.
[10]YE J H,SUN S X,SONG W,et al.Formal Semantics of BPMN Process Models Using YAWL[C]∥Proceedings of the International Symposium on Intelligent Information Technology Application.Washiongton,D.C.,IEEE,2008:70-74.
[11]PRANDI D,QUAGLIA P,ZANNONE N.Formal Analysis of BPMN Via a Translation into COWS[C]∥Proceedings the 10th International Conference on Coordination Models and Languages.Berlin,Germany:Springer-Verlag,2008:249-263.
[12]LAM V S W.A Precise Execution Semantics for BPMN[J].Iaeng International Journal of Computer Science,2012,39(1):20-33.
[13]ECKLEDER A,FREYTAG T.WoPeD 2.0 goes BPEL 2.0[C]∥German Workshop on Algorithms and TOOLS for Petri Nets,Algorithmen Und Werkzeuge Für Petrinetze(Awpn 2008).Rostock,Germany,2008:75-80.
[14]DUMAS M.过程感知的信息系统[M].王建民,等译.北京:清华大学出版社,2009.

相关文章 15

[1]	曹蕊, 方贤文, 王丽丽. 基于通讯行为轮廓挖掘条件非频繁行为的方法 Method of Mining Conditional Infrequent Behavior Based on Communication Behavior Profile 计算机科学, 2018, 45(8): 310-314. https://doi.org/10.11896/j.issn.1002-137X.2018.08.056
[2]	毛典辉,薛子育,李子沁,王帆. 基于深度神经网络的图像语句转换方法发展综述 Survey on Converting Image to Sentence Based on Depth Neural Networks 计算机科学, 2018, 45(3): 23-28. https://doi.org/10.11896/j.issn.1002-137X.2018.03.004
[3]	赵莹, 潘华, 张云猛, 莫启, 代飞. 协同业务过程建模与行为验证 Modeling and Behavior Verification for Collaborative Business Processes 计算机科学, 2018, 45(11A): 597-602.
[4]	马赛,董东. 基于潜在语义分析的Large Class检测 Detection of Large Class Based on Latent Semantic Analysis 计算机科学, 2017, 44(Z6): 495-498. https://doi.org/10.11896/j.issn.1002-137X.2017.6A.110
[5]	杜慧,陈云芳,张伟. 主题模型中的参数估计方法综述 Survey for Methods of Parameter Estimation in Topic Models 计算机科学, 2017, 44(Z6): 29-32. https://doi.org/10.11896/j.issn.1002-137X.2017.6A.006
[6]	罗海蛟,柯晓华. 基于改进的LDA模型的中文主观题自动评分研究 Automated Scoring Chinese Subjective Responses Based on Improved-LDA 计算机科学, 2017, 44(Z11): 102-105. https://doi.org/10.11896/j.issn.1002-137X.2017.11A.020
[7]	张书波,张引,张斌,孙达明. 基于Copulas框架的混合式查询扩展方法 Combined Query Expansion Method Based on Copulas Framework 计算机科学, 2016, 43(Z6): 485-488. https://doi.org/10.11896/j.issn.1002-137X.2016.6A.114
[8]	李道丰,黄凡玲,刘水祥,黄安妮. 基于行为语义分析的Web恶意代码检测机制研究 Study on Web-based Malware Detection Mechanism Based on Behavior and Semantic Analysis 计算机科学, 2016, 43(8): 110-113. https://doi.org/10.11896/j.issn.1002-137X.2016.08.023
[9]	白雪骢,朱焱. 一种基于禁忌搜索算法的流程挖掘方法 Process Mining Approach Based on Tabu Search Algorithm 计算机科学, 2016, 43(4): 214-218. https://doi.org/10.11896/j.issn.1002-137X.2016.04.044
[10]	肖正,刘辉,李兵. 一种基于语义距离的Web评论SVM情感分类方法 SVM Sentiment Classifier Based on Semantic Distance for Web Comments 计算机科学, 2014, 41(9): 248-252. https://doi.org/10.11896/j.issn.1002-137X.2014.09.047
[11]	周由,戴牡红. 语义分析与TF-IDF方法相结合的新闻推荐技术 News Recommendation Technology Combining Semantic Analysis with TF-IDF Method 计算机科学, 2013, 40(Z11): 267-269.
[12]	沈晖,陆育锋,郭以东,杨勇. 基于语义分析的统计报表多维数据建模方法 Multiple Dimension Data Modeling Method for Statistical Data Sheets Based on Semantic Analysis 计算机科学, 2013, 40(9): 243-246.
[13]	张宝印, 于俊清, 唐九飞, 何云峰, 王赠凯. 面向情感的电影背景音乐分类方法 Affective-oriented Movie Background Music Classification 计算机科学, 2013, 40(12): 37-40.
[14]	刘端阳,王良芳. 结合语义扩展度和词汇链的关键词提取算法 Extraction Algorithm Based on Semantic Expansion Integrated with Lexical Chain 计算机科学, 2013, 40(12): 264-269.
[15]	强保华,李巍,邹显春,汪天天,吴春明. 基于潜在语义分析的Deep Web查询接口聚类研究 Research on Deep Web Query Interface Clustering Based on Latent Semantic Analysis 计算机科学, 2013, 40(11): 228-230.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed