Why does my service have no partners?

N. Lohmann

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

    6 Citations (Scopus)
    1 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationProceedings of the 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), 4-5 September 2008, Milan, Italy
    EditorsR. Bruni, K. Wolf
    Place of PublicationBerlin
    ISBN (Print)978-3-642-01363-8
    Publication statusPublished - 2009

    Publication series

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


    Dive into the research topics of 'Why does my service have no partners?'. Together they form a unique fingerprint.

    Cite this