A tool for the specification and the implementation of operating modules in a distributed robot architecture