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

    10 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
    EventProceedings IEEE International Conference on Web Services (ICWS'06) - Chicago, USA
    Duration: 18 Sep 200622 Sep 2006

    Publication series

    PublisherIEEE Computer Society


    ConferenceProceedings IEEE International Conference on Web Services (ICWS'06)
    Other18 - 22 September 2006


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

    Cite this