Service matchmaking revisited: An approach based on model checking

The aim of service discovery is to find services that satisfy user requests in a precise and effective manner. An important aspect of service discovery is service matchmaking, which constitutes the mechanism to map appropriate services to requests. Current service matchmaking approaches mostly use the knowledge about the interface descriptions of services. However, these approaches suffer from lack of precision since they do not consider the internal processes of services.