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)

    Abstract

    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
    Pages895-900
    Number of pages6
    ISBN (Print)0-7695-2669-1
    DOIs
    Publication statusPublished - Sep 2006

    Publication series

    Name
    PublisherIEEE Computer Society
    Number2

    Keywords

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

    Cite this