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]](http://dbis.eprints.uni-ulm.de/style/images/fileicons/application_pdf.png)
|
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
