Title :
Verifying reliability interactions for the robot communication platform and contribution to the international standards
Author :
Narita, Masahiko ; Iwasa, Kazunori ; Shimamura, Makiko ; Yamaguchi, Toru
Author_Institution :
Fujitsu Ltd., Yokohama
Abstract :
The common robot communication platform and the robot services using Web Services are gaining acceptance. Since multi-vendor/multi-implementation environments are popular, a standard specification of these and their interoperability are critical requirements. Reliable messaging - one of the key technologies to deploy such Web Services based systems - has been standardized recently. However, interoperability/conformance for reliable messaging implementations is not well verified. This article describes (1) requirements of conformance and interoperability test suite for Web Services, and how we implemented the test suite satisfying these requirements, (2) the test results and the evaluation for reliable message implementations based on currently available two standards, using this test suite, (3) authors´ contribution to the international standard body based on our test results.
Keywords :
Web services; formal specification; open systems; program verification; robots; Web service; international standard specification; interoperability; reliability interaction verification; robot communication platform; Automatic testing; Communication standards; Communication system control; Middleware; Service robots; Standards organizations; Transport protocols; Web and internet services; Web services; Wireless application protocol; Interoperability; Reliable Messaging; Robot Communication Protocol; Web Services;
Conference_Titel :
Soft Computing in Industrial Applications, 2008. SMCia '08. IEEE Conference on
Conference_Location :
Muroran
Print_ISBN :
978-1-4244-3782-5
Electronic_ISBN :
978-4-9904-2590-6
DOI :
10.1109/SMCIA.2008.5045975