Proposal of semantics-based Web service matchmaking

Web services and Web applications are expected to grow rapidly in near future. Thus the demand for a search engine for Web services in the Internet will become increasingly significant. Nowadays there are extensive efforts underway to make such a mechanism like UDDI. The mechanism, however, has no matchmaking functionality to find services which match a given service interface. Therefore, we propose a method to find similarity among service interfaces. In this paper, we represent semantics of service interfaces in a logical format, and show the method to determine whether any pairs of services semantically match.