A Method for Formal Verification of Service Interoperability

S. Pokraev, Dick Quartel, Maarten W.A. Steen, M.U. Reichert

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

    9 Citations (Scopus)


    Service interoperability is a major obstacle in realizing the SOA vision. Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other’s services effectively. It is about the meaningful sharing of functionality and information that leads to the achievement of a common goal. In this paper we identify requirements for semantic and pragmatic interoperability. We further propose a method for assessing whether a composite system meets these requirements.
    Original languageUndefined
    Title of host publicationProceedings IEEE International Conference on Web Services (ICWS'06)
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Number of pages6
    ISBN (Print)0-7695-2669-1
    Publication statusPublished - Sep 2006

    Publication series

    PublisherIEEE Computer Society


    • EWI-6848
    • METIS-238149
    • SCS-Services
    • IR-63412

    Cite this