基于扩展Petri网模型的BPMN形式化

doi:10.11896/j.issn.1002-137X.2016.11.008

摘要/Abstract

摘要： BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。

关键词: BPMN模型,模型形式化,Petri网,模型转换

Abstract: The business process modeling notation(BPMN),as a standard captures business processes in the early phases of system development,instructs the designing and development.The correctness of the BPMN model is a key to influencing software success.In view that the BPMN formal model can verify the correctness of the model, an extended Petri nets model was proposed to apply model-driven development technology to realize formalization automatic execution of the BPMN model. By refining the Transition and Place elements of the basic Petri nets,and increasing the Organization Identifier and Group Identifier container,the model is not only able to describe the dynamic behaviour of the BPMN model,but also can describe the dynamic behaviours cooperation and the static organization structure of the BPMN model.This paper analyzed the elements of the extended Petri net model from metamodel structure,grammar and notation detailed,and used model-driven development to design the transformation rule from BPMN model elements to extended Petri net model elements.In order to carry out the formalization automatic executing,the executing of the transformation rule uses ATL model transformation language and the ATL transformation code runs on the Eclipse framework.Finally,the Travel Agency system was applied to demonstrate the executing result of the formalization plug(BPMN2 Extend Petrinets).

Key words: BPMN model,Model formalization,Petri nets,Model transformations

李宗花,周晓峰,吴克力,陈伏兵. 基于扩展Petri网模型的BPMN形式化[J]. 计算机科学, 2016, 43(11): 40-48. https://doi.org/10.11896/j.issn.1002-137X.2016.11.008

LI Zong-hua, ZHOU Xiao-feng, WU Ke-li and CHEN Fu-bing. BPMN Formalization Based on Extended Petri Nets Model[J]. Computer Science, 2016, 43(11): 40-48. https://doi.org/10.11896/j.issn.1002-137X.2016.11.008

参考文献

[1] Touzi J,Benaben F,Pingaud H,et al.A model-driven approach for collaborative service-oriented architecture design [J].International Journal of Production Economics,2009,121(1):5-20
[2] Bousetta B,Beggar O,Gadi T.A methodology for CIM modelling and its transformation to PIM [J].Journal of Information Engineering and Applications,2013,3(2):1-21
[3] Fabra J,De Castro V,lvarez P,et al.Automatic execute of bu-siness process models:exploiting the benefits of model-driven engineering approaches[J].Journal of Systems and Software,2012,85(3):607-625
[4] OMG.Business Process Model and Notation(BPMN)(Ver-sion2.0)[EB/OL].[2011-01-03].http://www.omg.org/spec/BPMN/2.0
[5] OMG.Business Process Definition Metamodel(Version1.0)[EB/OL].[2008-11-03].http://www.omg.org/spec/BPDM/1.0
[6] IBM.Business Process modelling Language(BPML)(Version 5.2)[EB/OL].ftp://public.dhe.ibm.com/software/commerce/doc/sb2bi/v5r2/SI52_BPML_book.pdf
[7] Harmon P.The OMG’s model driven architecture and BPM[J].Business Process Trends,2004,2(5):1-11
[8] Feng Xiao-ning,Li Qi-xing,Wang Zhuo.A Mapping Methodfrom BPMN Models to BPEL[J].Journal of Computer Research and Development.2013,50(S1):44-52(in Chinese) 冯晓宁,李麒星,王卓.一种基于BPMN的业务流程图到BPEL的映射方法 [J].计算机研究与发展,2013,50(S1):44-52
[9] Wei Ling,Ai Yong-lin,Wei Jun.Model Transformation fromBPMN to BPEL2.0[J].Application Research of Computers.2008,25(11):3363-3366(in Chinese) 魏凌,爱永霖,魏竣.BPMN到BPEL2.0的模型转换方法 [J].计算机应用研究,2008,25(11):3363-3366
[10] Ma Jian,Xu Tao,Zhang Yu-ping.Conversion of business process models based on continuous semantics[J].Journal of Computer Applications,2013,33(S1):243-246(in Chinese) 马健,徐涛,张育平.基于连续语义的业务流程模型的转换 [J].计算机应用,2013,33(S1):243-246
[11] Wong P Y H,Gibbons J.Formalisations and applications ofBPMN [J].Science of Computer Programming,2011,76(8):633-650
[12] Dijkman R M,Dumas M,Ouyang C.Semantics and analysis of business process models in BPMN [J].Information and Software Technology,2008,50(12):1281-1294
[13] Yang N H,Yu H Q,Sun H,et al.Modeling UML sequence diagrams using extended Petri nets [J].Telecommunication Systems,2012,51(2):147-158
[14] Fabra J,lvarez P,Banares J,et al.DENEB:a platform for the development and execution of interoperable dynamic web processes [J].Concurrency and Computation:Practice and Experience,2011,23(8):2421-2451
[15] Philippi S.Automatic code generation from high-level Petri-Nets for model driven systems engineering [J].Journal of Systems and Software,2006,79(10):1444-1455
[16] van der Aalst W M P,ter Hofstede A H M.YAWL:yet another workflow language [J].Information Systems,2005,30(4):245-275
[17] Bigham J,Jin X,Gamez D,et al.Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures [J].Electronic Notes in Theoretical Computer Science,2005,1:87-99
[18] Li Z H,Zhou X F,Gu A H,et al.A complete approach for CIM modelling and model formalizing [J].Information and Software Technology,2015,65(9):39-55
[19] Li Zong-hua,Zhou Xiao-feng,Gu Ai-hua,et al.Survey of CIM modeling and model formalization[J].Application Research of Computers,2014,31(10):2896-2901(in Chinese) 李宗花,周晓峰,顾爱华,等.CIM建模及模型形式化方法研究综述 [J].计算机应用研究,2014,31(10):2896-2901
[20] De Castro V,Marcos E,Vara J M.Applying CIM-to-PIM model transformations for the service-oriented development of information systems [J].Information and Software Technology,2011,53(1):87-105
[21] Kostin A E.Reachability analysis in T-invariant-less Petri Nets [J].IEEE Transactions on Automatic Control,2003,48(6):1019-1024
[22] Yoo T,Jeong B,Cho H.A Petri nets based functional validation for services composition [J].Expert Systems with Applications,2010,37(5):3768-3776
[23] Balaban M,Maraee A,Sturm A,et al.A pattern-based approach for improving model quality [J].Software System Model,2015,14(4):1527-1555
[24] Ye Y,Jiang Z B,Diao X D,et al.Extended event-condition-action rules and fuzzy Petri nets based exception handling for workflow management [J].Expert Systems with Applications,2011,38(9):10847-10861
[25] Dines Bjrner.Software Engineering 2 Specification of Systems and Language[M].Springer,2006:316-322
[26] Steinberg D,Budinsky F,Paternostro M,et al.EMF:EclipseModeling Framework(2nd Edition) [M].Addison-Wesley Professional,2008:104-124
[27] ATLAS.ATL recognized as a standard solution for model transformation in Eclipse [EB/OL].[2007-01-15].http://www.eclipse.org/gmt
[28] Jouault F,Allilaire F,Bezivin J,et al.ATL:a model transformation tool [J].Science of Computer Programming,2008,72(1/2):31-39
[29] W3C.Web Service Choreography Interface(WSCI)(Version1.0)[EB/OL].www.w3.org/TR/wsci

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed