Behavioral Equivalence Based Web Service Discovery

With the rapid expanse of the web service over the internet, discovering relevant web services becomes a significant challenge. To tackle this problem, a service-discovering framework based on behavioral equivalence is proposed in this paper. First, pi-calculus as a formal tool is adopted to express service behavior, including the published services and the query services. Then, the reverse engineering and behavioral equivalence are exploited for service matchmaking. Last, an example is taken for illustrating this approach.