Semantic And Analysis Of BPMN 2.0 Choreography Based On Petri Net

The method of choreography oriented is driven by goals and the process is simple and clear.From the global perspective,the local contract of each peer is refined from top to bottom,which makes the global contract and the local contract naturally compatible.The advent of BPMN 2.0 provides a suitable choreography modeling language for choreography oriented modeling methods,and has become the standard for business process modeling.However,BPMN 2.0 is a feature of graph process definition,which will cause semantic errors in the control flow and affect the semantic.And BPMN 2 Standard Specification lacks formal semantic definition and corresponding analysis technology.Therefore,the formal semantic definition and analysis of BPMN 2.0 is an urgent problem to be solved.Formal semantic definition and semantic analysis in this paper focus on BPMN 2.0choreography,put forward the concept of the well structure arrangement to eliminate the structural diversity,established BPMN 2.0 core elements arrangement of Petri nets,from the analysis of the arrangement of two aspects of choreography structure and choreography properties,the main research contents are as follows:First,the concept of well structure arrangement is proposed,and the diversity of the arrangement structure is eliminated,so as to establish the mapping of BPMN2.0 to Petri net;Second,while maintaining the semantic choreography unchanged,through the establishment of BPMN 2.0choreographymap to Petri net,gives the choreography to the visual description of Petri net,Petri net is used to define the semantics of BPMN 2.0choreography,form the definition of mapping;Besides,Analysis of the choreography from the two aspects of the choreography structure and choreography properties,and in the form of forward analysis method;Petri net analysis technology based on the Petri net after mapping,the structure and properties of BPMN 2.0 problem in the arrangement,as the architecture of Petri net problems or the nature of the problem,and carries on the analysis.Finally,this paper implements a tool,which is used to automatically convert BPMN 2.0 choreography into Petri net,and realizes the semantic analysis of the arrangement with the help of the existing Petri net tools and the algorithm.The experimental results show that this formalization can identify the semantic errors in the BPM AI process model library.