Deciding substitutability of services with operating guidelines

C. Stahl, P. Massuthe, J. Bretschneider

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

39 Citations (Scopus)

Abstract

Deciding whether a service S can be substituted by another service S' is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability notions for services. Accordance specifies that S' cooperates with at least the environments that S cooperates with. S and S' are equivalent if they cooperate with the same environments. To guarantee that S' cooperates with a fixed subset of environments that S cooperates with, the notion of restriction can be used. For each substitutability notion we present a decision algorithm. To this end we apply the concept of an operating guideline of a service as an abstract representation of all environments the service cooperates with.
Original languageEnglish
Title of host publicationTransactions on Petri Nets and Other Models of Concurrency II
EditorsK. Jensen, W.M.P. Aalst, van der
Place of PublicationBerlin
PublisherSpringer
Pages172-191
ISBN (Print)978-3-642-00898-6
DOIs
Publication statusPublished - 2009

Publication series

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

Cite this