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.
|Title of host publication||Proceedings of the 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), 4-5 September 2008, Milan, Italy|
|Editors||R. Bruni, K. Wolf|
|Place of Publication||Berlin|
|Publication status||Published - 2009|
|Name||Lecture Notes in Computer Science|