Verifying the Reliability of Web Services Interactions for the Robot Communication Platform

摘要

As Loosely Coupled Robot Communication and the common robot service platform using Web Services gain acceptance, the multi-vendor/multi-implementation environment is becoming increasingly disseminated and interoperability increasingly critical. In contrast Reliable messaging is a key to such Web Services-based systems, but no openly available verification suite currently exists for this technology. We discuss requirements of conformance and interoperability tests for Web Services reliability, and report results of coverage tests and application-driven tests using the verification suite we developed for reliable messaging. This suite verified implementations conforming to WS-Reliability, a reliable message specification. It also proves that application-driven tests requiring neither test program installation nor probe, effectively ensure interoperability in actual application together with common robot service platform implementation.