Research On Service Collaboration Model Of Soa Based On Mda

Service-Oriented Architecture as architecture has been proposed to integrate the different systems which had been existed, it mainly to resolve the business problems of separating information. Business Process Execution Language is used to describe the service collaborative model of SOA, which implemented to choreography the individual system's business processes.But with the legacy systems's integrated and the complexity of business processes's increased, constructing the BPEL model becomes more and more complex. Meanwhile, the BPEL model lacks the semantic description of formalization, which possible hiding some logic errors. Simplify the BPEL model and automatic verificates its logical correctness will be conducived the popularity of SOA's application.MDA as a model-driven development architecture, its core idea is to abstract the PIM layer model which has no relation with the concrete implementing technology, using the conversion tools to translate it into platform specific model automatically.This article proposes a method to construct the SOA's service collaboration model which was based on MDA. At first, we use the activity diagram of UML to describe the interaction of SOA's service collaboration model, building the SOA's service collaboration model in PIM layer; and then establishing the particular mapping rules between the UML activity diagram meta-model elements and BPEL meta-model elements, using the XMI as a standard exchange file and EMF as a model translation framework, converting the SOA service collaboration model to BPEL which was the PSM model automatically. And also we research the method to validate the logical correctness of the BPEL, through translating the BPEL into colored Petri net, using the colored petri net tools to achieve the BPEL model's logical correctness and validation automatically. We use the functions which were in the colored petri net tools to deal with the skip branches, which simplify the complexity of translating BPEL to Petri nets, and make it much more avail to validate the BPEL. In this paper,we verificate the method that was proposed through the prototype system of online bookshop, using the activity diagram to construct online shopping cart, bank charges and logistics services of SOA service collaboration model, and successfully converting it into BPEL model, using the colored petri net tools to validate the BPEL's logic correctness. We compare it with the conversion method of XSLT, and the result shows that the presented method is feasible and efficient.