@inproceedings{273111913b524b55b92af91d5c4cf668,
title = "Constructing replaceable services using operating guidelines and maximal controllers",
abstract = "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.",
author = "A.J. Mooij and J. Parnjai and C. Stahl and M. Voorhoeve",
year = "2011",
doi = "10.1007/978-3-642-19589-1_8",
language = "English",
isbn = "978-3-642-19588-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "116--130",
editor = "M. Bravetti and T. Bultan",
booktitle = "Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers)",
address = "Germany",
}