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

fYear

2008

fDate

25-27 June 2008

Firstpage

281

Lastpage

286

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SMCIA.2008.5045975

Filename

5045975