A Method of Web Service Matchmaking Based on Snippets