loading...
A Method for Formal Verification of Service Interoperability
Chicago, Illinois, USA September 18-September 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.9IEEE International Conference on Web ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Stanislav Pokraev, Telematica Instituut, The Netherlands
Dick Quartel, University of Twente, The Netherlands
Maarten W. A. Steen, Telematica Instituut, The Netherlands
Manfred Reichert, University of Twente, The Netherlands
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.
Citation:
Stanislav Pokraev, Dick Quartel, Maarten W. A. Steen, Manfred Reichert, "A Method for Formal Verification of Service Interoperability," icws, pp.895-900, IEEE International Conference on Web Services (ICWS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.