DBIS EPub

A Method for Formal Verification of Service Interoperability

Pokraev, Stanislav and Quartel, Dick and Steen, Maarten W.A. and Reichert, Manfred (2006) A Method for Formal Verification of Service Interoperability. In: Proceedings IEEE Int'l Conf. on Web Services (ICWS'06), September 2006, Salt Lake City, US.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
199Kb

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.

Item Type:Conference or Workshop Item (Paper)
Subjects:DBIS Research > Publications
ID Code:249
Deposited By: Prof. Dr. Manfred Reichert
BibTex Export:BibTeX
Deposited On:23 Apr 2008 22:31
Last Modified:14 Oct 2011 10:24

Repository Staff Only: item control page