Your Search Results

Use this resource - and many more! - in your textbook!

AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

A Method for Formal Verification of Service Interoperability

By: Quartel, D.; Pokraev, S.; Reichert, M.; Steen, M.W.A.;

2006 / IEEE / 0-7695-2669-1


This item was taken from the IEEE Conference ' A Method for Formal Verification of Service Interoperability ' 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.