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)

    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.
    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
    PublisherSpringer
    Pages191-206
    ISBN (Print)978-3-642-01363-8
    DOIs
    Publication statusPublished - 2009

    Publication series

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

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

    Cite this