A Method for Formal Verification of Service Interoperability

  • Authors:
  • Stanislav Pokraev;Dick Quartel;Maarten W. A. Steen;Manfred Reichert

  • Affiliations:
  • Telematica Instituut, The Netherlands;University of Twente, The Netherlands;Telematica Instituut, The Netherlands;University of Twente, The Netherlands

  • Venue:
  • ICWS '06 Proceedings of the IEEE International Conference on Web Services
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.