Verifying Timed Routing Protocols of Web Service Interoperability
Web services have been widely regarded as the next-generation distributed computing model. Their interoperability involves complex routing protocols. The routing protocol between interoperability, reflected the loose nature of contracts between services, will be stuck due to deadlock occurred in interaction channels when a routing protocol is executed. This may cause economic losses and have negative impact on the communications. Most existing approaches use cryptographic algorithms to protect data for securing the routes. However, these works cannot deal with dynamic behaviors validation.