• DocumentCode
    2926425
  • Title

    A Method for Formal Verification of Service Interoperability

  • Author

    Pokraev, Stanislav ; Quartel, Dick ; Steen, Maarten W A ; Reichert, Manfred

  • Author_Institution
    Telematica Instituut, Enschede
  • fYear
    2006
  • fDate
    18-22 Sept. 2006
  • Firstpage
    895
  • Lastpage
    900
  • 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
  • Keywords
    Web services; open systems; program verification; Web services; autonomous system; composite system; formal verification; functionality sharing; heterogeneous system; information sharing; multiple system; pragmatic interoperability.; semantic interoperability; service interoperability; service-oriented architecture; Abstracts; Formal verification; Interconnected systems; Mechanical factors; Protocols; Service oriented architecture; Sockets; TCPIP; Web services;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Web Services, 2006. ICWS '06. International Conference on
  • Conference_Location
    Chicago, IL
  • Print_ISBN
    0-7695-2669-1
  • Type

    conf

  • DOI
    10.1109/ICWS.2006.9
  • Filename
    4032110
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2926425