Constructing replaceable services using operating guidelines and maximal controllers

A.J. Mooij, J. Parnjai, C. Stahl, M. Voorhoeve

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)


Service-oriented systems support process evolution by allowing the replacement of a service S by another service T. To maintain proper interaction in the overall system, service T should interact properly with all controllers (i.e., in all contexts) of service S. To support the construction of such services T, we compute operating guidelines that represent all services that can replace service S. Our computation relies on the additional notion of a maximal controller. Maximal controllers can also be used for deciding whether a service T can replace service S, and for computing a public view that hides service details that are not relevant for controllers.
Original languageEnglish
Title of host publicationWeb Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers)
EditorsM. Bravetti, T. Bultan
Place of PublicationBerlin
ISBN (Print)978-3-642-19588-4
Publication statusPublished - 2011

Publication series

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


Dive into the research topics of 'Constructing replaceable services using operating guidelines and maximal controllers'. Together they form a unique fingerprint.

Cite this