--> Web service contracts specification and matchmaking