Study On The Method Of Mapping From BPEL To LOTOS Based On Translation Scheme

Web service composition can be effectively assembled a variety of cross-platform network services, achieve information sharing between the various service, and eventually formed a powerful service processes to adapt to the current complex enterprise environments. BPEL is a common approach and important way to achieve Web service composition, which defines the control logic of the composite service.However, due to the heterogeneous network environment, loosely coupled of service development model and the dynamic nature of service coordination, so that the combined Web services, there are many uncertainties in the development and operation of links.Web service testting can only test the system for specific input, so it is not comprehensive.Therefore, in order to found the major issues of the Web services combination before putting it into operation, Web service combination can be used to varify nature of system. The combination of conbination validation and testing of Web service is a dual insurance to shielding the service portfolio defects.Using formal methods to describe the Web service composition, and varifying the logical correctness of services composition based on formal technology is a significant way. This article use the formal description language LOTOS to model services composition described in BPEL. And then, use the model detector Evaluator of CADP toolset to verify this model in order to determine the service composition process is correct. And, Web services composition described in BPEL is automatically converted to LOTOS description, which has become a prerequisite to ensure the correctness of the verification process.Inorder to achieve automatic conversion of BPEL to LOTOS, firstly need to clear BPEL-to-LOTOS semantic mapping rules. For protecting of data consistency from BPEL to LOTOS, this paper, based on the basic semantic mapping rules, provide BPEL-to-LOTOS data type mapping. Further, for BPEL’ roubleshooting, gives the corresponding mapping rules.BPEL is a dynamic combination of Web services, and the combination is ever-changing. In order to ensure the automatic conversion process, this paper proposes the conversion algorithm based translation model. Departure from the the BPEL’ XML Schema definition, analysis the structure of the BPEL language itself, and, according to the relationship between the elements and attributes of BPEL, obtain the BPEL’ production.Then, according to BPEL-to-LOTOS semantic mapping rules, analysis symbol’ comprehensive and inheritance properties, design BPEL’production semantic actions, get BPEL-to-LOTOS translation mode, and use SWT technology to achieve the automatic conversion tools. Finally, using the Web service instance to verify the feasibility of the tool.