Computer Science ›› 2018, Vol. 45 ›› Issue (11A): 558-563.

• Interdiscipline & Application • Previous Articles     Next Articles

Semantics and Analysis of BPMN 2.0 Process Models

ZHAO Ying1, ZHAO Chuan1, HUANG Bi2, DAI Fei2   

  1. Yunnan Power Dispatching and Control Center,Kunming 650011,China1
    School of Big Data and Intelligence Engineering,Sourthwest Forestry University,Kunming 650224,China2
  • Online:2019-02-26 Published:2019-02-26

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

CLC Number: 

  • TP311
[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.
[1] FAN Hong-jie, LI Xue-dong, YE Song-tao. Aided Disease Diagnosis Method for EMR Semantic Analysis [J]. Computer Science, 2022, 49(1): 153-158.
[2] MAO Dian-hui, XUE Zi-yu, LI Zi-qin and WANG Fan. Survey on Converting Image to Sentence Based on Depth Neural Networks [J]. Computer Science, 2018, 45(3): 23-28.
[3] MA Sai and DONG Dong. Detection of Large Class Based on Latent Semantic Analysis [J]. Computer Science, 2017, 44(Z6): 495-498.
[4] DU Hui, CHEN Yun-fang and ZHANG Wei. Survey for Methods of Parameter Estimation in Topic Models [J]. Computer Science, 2017, 44(Z6): 29-32.
[5] LUO Hai-jiao and KE Xiao-hua. Automated Scoring Chinese Subjective Responses Based on Improved-LDA [J]. Computer Science, 2017, 44(Z11): 102-105.
[6] TU Hong-bin, YUE Yan-yan, ZHOU Xin-jian and LUO Kun. Novel Action Recognition via Improved PLSA and CBR [J]. Computer Science, 2017, 44(6): 283-289.
[7] ZHANG Shu-bo, ZHANG Yin, ZHANG Bin and SUN Da-ming. Combined Query Expansion Method Based on Copulas Framework [J]. Computer Science, 2016, 43(Z6): 485-488.
[8] LI Dao-feng, HUANG Fan-ling, LIU Shui-xiang and HUANG An-ni. Study on Web-based Malware Detection Mechanism Based on Behavior and Semantic Analysis [J]. Computer Science, 2016, 43(8): 110-113.
[9] BAI Xue-cong and ZHU Yan. Process Mining Approach Based on Tabu Search Algorithm [J]. Computer Science, 2016, 43(4): 214-218.
[10] WEI Lin-jing, LIAN Zhi-chao, WANG Lian-guo and HOU Zhen-xing. Term and Semantic Difference Metric Based Document Clustering Algorithm [J]. Computer Science, 2016, 43(12): 229-233.
[11] XIAO Zheng,LIU Hui and LI Bing. SVM Sentiment Classifier Based on Semantic Distance for Web Comments [J]. Computer Science, 2014, 41(9): 248-252.
[12] WANG Ying,LI Ji-hui and HUANG Zhen. Business Process Modeling and Analyzing Based on XAr/T-net [J]. Computer Science, 2014, 41(7): 86-90.
[13] ZHOU You and DAI Mu-hong. News Recommendation Technology Combining Semantic Analysis with TF-IDF Method [J]. Computer Science, 2013, 40(Z11): 267-269.
[14] SHEN Hui,LU Yu-feng,GUO Yi-dong and YANG Yong. Multiple Dimension Data Modeling Method for Statistical Data Sheets Based on Semantic Analysis [J]. Computer Science, 2013, 40(9): 243-246.
[15] ZHANG Bao-yin, YU Jun-qing, TANG Jiu-fei, HE Yun-feng and WANG Zeng-kai. Affective-oriented Movie Background Music Classification [J]. Computer Science, 2013, 40(12): 37-40.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!