@inproceedings{1f56f31fc6154e9c99054bf0821b81a1,
title = "A Method for Formal Verification of Service Interoperability",
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{\textquoteright}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.",
keywords = "EWI-6848, METIS-238149, SCS-Services, IR-63412",
author = "S. Pokraev and Dick Quartel and Steen, {Maarten W.A.} and M.U. Reichert",
note = "10.1109/ICWS.2006.9 ; Proceedings IEEE International Conference on Web Services (ICWS'06) ; Conference date: 18-09-2006 Through 22-09-2006",
year = "2006",
month = sep,
doi = "10.1109/ICWS.2006.9",
language = "English",
isbn = "0-7695-2669-1",
publisher = "IEEE",
number = "2",
pages = "895--900",
booktitle = "Proceedings IEEE International Conference on Web Services (ICWS'06)",
address = "United States",
}