Controllability is a fundamental correctness criterion for interacting service models. A service model is controllable if there exists a partner service such that their composition is free of deadlocks and livelocks. Whereas controllability can be automatically decided, the existing decision algorithm gives no information about the reasons of why a service model is uncontrollable. This paper introduces a diagnosis framework to find these reasons which can help to fix uncontrollable service models. Keywords: Controllability, diagnosis, partner synthesis, verification.
CITATION STYLE
Lohmann, N. (2009). Why does my service have no partners? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5387, pp. 37–54). https://doi.org/10.1007/978-3-642-01364-5_3
Mendeley helps you to discover research relevant for your work.