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.
Download (203kB)
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 |
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 |