@inbook{25d8e4ac29ae480c85d7e042741c3838,
title = "Deciding substitutability of services with operating guidelines",
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.",
author = "C. Stahl and P. Massuthe and J. Bretschneider",
year = "2009",
doi = "10.1007/978-3-642-00899-3_10",
language = "English",
isbn = "978-3-642-00898-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "172--191",
editor = "K. Jensen and {Aalst, van der}, W.M.P.",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency II",
address = "Germany",
}