LiveMig: An Approach to Live Instance Migration in Composite Service Evolution

Abstract

Composite service evolution is one of the most important challenges to deal with in the field of service composition. In particular, this paper presents, LiveMig, an approach to live migration of composite service instance, which is a critical step for online composite service evolution. In LiveMig, a set of change operations preserving soundness is first defined. Second, a live instance state migration algorithm is proposed to determine if the state migration is allowed or not, and to compute the exact state after the migration. Finally, the correctness of LiveMig is theoretically proved, and an extensive set of simulations are performed to show its feasibility and effectiveness.

Study on the Correctness of Web Service Composition Evolution

“…[4] modeled Web service composition and verified its correctness, but these verification works did not attach importance to the complex features of evolvement. Now, many works were done to verify the correctness of control flow, such as [5], data flow is mentioned rarely. Our work in this paper focuses on modeling Web service composition evolvement and verifying its correctness.…”