Study on the Correctness of Web Service Composition Evolution

Abstract

When Internet has been becoming a platform of all kinds of resources sharing and integrating, service computing can just satisfy this kind of computation. When the users needs and the running environment change frequently, the original structure of the composite service should be rebuilt and reconfigured to need these alterations. Since the availability and the reliability of service composition will not be guaranteed, the correctness of service composition evolution must be verified. In this paper, a formal model-WSPN was presented to describe service composition evolution, WSPN can express the structure of service composition and also can simulate the evolving process of the composite service. In order to keep the evolving correctness of Web service composition, an algorithm was provided to verify the composition relationship between both component services, in this way, the reasonable relationship can be obtained. Finally, the concluding remarks and the future work were pointed out.