Service Evolution Method And Technology Research Based On Model Algebraic Properties

As one of the mainstream technologies of networked software development,service composition and evolution has been a hot research technology in industry and academia.However,due to the SOA(Service Oriented Architecture)service combination is arbitrary and the performance of service lacked of protection mechanism,so how to guarantee the reliability and validity of service has become the focus of attention.This paper provides the methods and techniques of service effective combination to solve the technical problems of service evolution.Service combination is based on services which can aggregate services and provide functional components to meet the needs of business processes.As an important method of networked software development,it can organically organize loosely coupled services to make it more flexible in the application process.Based on the SOA algebraic model,this paper abstracts the service combination and algebraic service evolution method.As a result of the selected model algebraic properties by the component to model,and the BPEL(Business Process Execution Language)in the service is also independent existence,the BPEL service is adopted to explore the model of the evolution of the algebraic properties equivalence method,so as to realize the automatic evolution of algebraic properties.BPEL,as the main support technology for SOA architecture,provides a description of the SOA service combination.In this paper,the method of evolution equivalence is studied by using the BPEL service to prove that the model algebraic properties have evolutionary equivalence.On the basis of this,an algorithm of equivalent automatic evolution is proposed for different algebraic properties,and the application of the algorithm is given by compiling technique.Finally combining cases,using the formal description Language LOTOS(Language of Temporal Ordering Specification)which match the structure of BPEL,the CADP(Construction and Analysis of Distributed the Processes)tools focused on evolution process simulation and model test,so it can validate the feasibility of evolution method.