Does my service have unspecified behavior?

K. Kaschner, N. Lohmann

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

    1 Citation (Scopus)


    Services are loosely coupled interacting software components. Since two or more services are usually composed to one software system, the behavior of an implemented service should not differ to its specification. Therefore we propose an approach to test, if the implementation contains unspecified behavior. Due to the interacting nature of services this is a nontrivial task.
    Original languageEnglish
    Title of host publicationProceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009, Stuttgart, Germany, March 2-3, 2009)
    EditorsO. Kopp, N. Lohmann
    Place of PublicationAachen
    Publication statusPublished - 2009

    Publication series

    NameCEUR Workshop Proceedings
    ISSN (Print)1613-0073


    Dive into the research topics of 'Does my service have unspecified behavior?'. Together they form a unique fingerprint.

    Cite this