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.

[thumbnail of ICWS_Short_CameraReady.pdf]
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (203kB)


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
Depositing User: Prof. Dr. Manfred Reichert
Date Deposited: 23 Apr 2008 22:31
Last Modified: 14 Oct 2011 10:24
URI: http://dbis.eprints.uni-ulm.de/id/eprint/249

Actions (login required)

View Item
View Item