Behavioral service substitution

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)


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
ISBN (Print)978-1-4614-7517-0
Publication statusPublished - 2014


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

Cite this