| Service Oriented Computing is a new Computing paradigm,which uses services as components to build distributed systems through reuse or combination.We usually call these components as participants(peers).In order to accomplish the task together,these participants who constitute a concurrent distributed system must coordinate their execution through message interactions with each other.Therefore,it is very important to analyze the interactions between the participants.we call the contract of message interaction between participants "choreography".Choreography defines the allowed message interaction sequence in a distributed system from a global perspective.Choreography of Realizability Analysis is to ensure that the correct implementation of the key tasks.The purpose of choreography of realizability analysis is to improve the efficiency of participant integration and to ensure that participants can build the expected distributed system.Generally,BPMN2.0 is annotated with the standard symbols in the field of business process management,but BPMN2.0 standard specification lacks the corresponding analysis technology,so it is impossible to directly analyze the realizability of BPMN2.0 choreography.This paper uses CSP# to analyze the realizability of BPMN2.0 choreography,focusing on the issue of choreography analysis.This paper has done the following: Coding the choreography of BPMN2.0 into CSP#.Then,the coded CSP# choreography is mapped to the choreography represented by each participant.Next,the mapped participants are concurrently combined and implemented under synchronous communication and bounded asynchronous communication,that is compared with the original choreography by the behavioral equivalence.In this study,a simulator tool Simulator,was developed using Java language to support the automatic comparison of equivalence of choreography behavior.Finally,with the support of tools,the correctness and effectiveness of the method proposed in this paper is verified through experiments. |
PDF Full Text Request