An Examination Of Service Orchestration With BPEL Based On MDA

Service-oriented architecture has been proposed to integrate the different systems whichhad been existed, mainly used to resolve the business problem of separating information.Business Process Execution Language is used to describe the service collaborative modelof SOA. But with the legacy systems’ integration and complexity increasing, constructingBPEL model becomes more and more complex.At the same time, Model-Driven Architecture can abstract the platform-independentmodel from implementing technology. MDA also supports for the conversion from PIMto Platform Specific Model automatically. So this article proposes a method to constructservice Orchestration model based on MDA. UML activity diagram and BPEL model arethe bridge to connect MDA and Orchestration. The transformation rules between UMLactivity diagram and BPEL are defined in the thesis. In the transformation process, XMIis treated as a standard exchange file and EMF as a model conversion framework.Also, the method to validate the logical robustness of Orchestration model is ColouredPetri Net of which tools can deal with skip branches to simplify the complexity oftransforming BPEL to Petri Net. The process of converting BPEL to coloured Petri Netand using CPN tool to validate the logical robustness automatically is discussed.In this paper, the example of online bookshop is used as B2C environment to providelogic and service of SOA service orchestration model, and successfully transforming itinto BPEL model. At last, the validation method is compared with other methods likeXSLT, and the result shows that the method used in this thesis is feasible and efficient.