Niels Lohmann. Why does my service have no partners? In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings, Lecture Notes in Computer Science. Springer-Verlag, September 2008

Authors

• paper by Niels Lohmann

• presented at WS-FM 2008 by Niels Lohmann

Abstract

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.

Key words: Controllability, diagnosis, partner synthesis, verification

Downloads

The slides will be published here after the talk.

Referenced Tools

• BPEL2oWFN (to translate WS-BPEL processes into open nets)

• Fiona (to decide controllability for an open net)

BibTeX