Deciding Substitutability of Services with Operating Guidelines

  • Authors:

  • Christian Stahl;Peter Massuthe;Jan Bretschneider

  • Affiliations:

  • Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany 10099 and Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Nethe ...;Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany 10099 and Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Nethe ...;Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany 10099

  • Venue:
  • Transactions on Petri Nets and Other Models of Concurrency II
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.