Interoperability verification for Web Service based robot communication platforms.
Masahiko NaritaMakiko ShimamuraKazunori IwasaToru YamaguchiPublished in: ROBIO (2007)
Keyphrases
- web services
- interoperability issues
- mobile robot
- messaging service
- information sharing
- human robot interaction
- web service technology
- autonomous robots
- quality of service
- mobile robotics
- semantic web
- vision system
- heterogeneous systems
- obstacle avoidance
- robot navigation
- real time
- robot manipulators
- information dissemination
- model checking
- service oriented
- multi robot
- communication networks
- business processes
- path planning
- business applications
- formal verification
- robotic systems
- robot control
- service composition
- humanoid robot
- semantic web services
- communication systems
- scientific workflows
- web service composition
- communication protocols
- service robots
- search and rescue
- service architecture
- loose coupling
- wireless sensor networks