Behavioral service substitution

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)

Abstract

Service-oriented design supports system evolution and encourages reuse and modularization. A key ingredient of service orientation is the ability to substitute one service by another without reconfiguring the overall system. This chapter aims to give an overview of the state of the art and open challenges in the area of service substitution. Thereby, we restrict ourselves to changes of the service behavior. We present a formal model of service behavior, formalize service substitution, study algorithms to decide service substitution, and provide rules to construct services that are correct by design. Beside analysis at design time, we also investigate analysis at runtime, where we measure the deviation of a running service (or collection of services) from its specification based on recorded event data (e.g., message or transaction logs).
Original languageEnglish
Title of host publicationWeb Services Foundations
EditorsA. Bouguettaya, Q.Z. Sheng, F. Daniel
Place of PublicationNew York
PublisherSpringer
Chapter9
Pages215-244
ISBN (Print)978-1-4614-7517-0
DOIs
Publication statusPublished - 2014

Fingerprint Dive into the research topics of 'Behavioral service substitution'. Together they form a unique fingerprint.

Cite this