Another approach to service instance migration

N. Liske, N. Lohmann, C. Stahl, K. Wolf

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

Abstract

Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to change a service while instances are actually running and interacting with other services. This problem is referred to as instance migration. We present a novel approach to the behavioral (service protocol) aspects of instance migration. We apply techniques for finitely characterizing the set of all correctly interacting partners to a given service. The approach assures that migration does not introduce behavioral problems with any running partner of the original service. Our technique scales up to services with thousands of states, including models of real WS-BPEL processes.
Original languageEnglish
Title of host publicationService-Oriented Computing (7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings)
EditorsL. Baresi, C.-H. Chi, J. Suzuki
Place of PublicationBerlin
PublisherSpringer
Pages607-621
ISBN (Print)978-3-642-10382-7
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
Volume5900
ISSN (Print)0302-9743

Cite this