| This thesis describes the implementation of a Web Service Synthesis system, which synthesizes the implementation of a web service from its specification. A web service specification consists of a syntactic part, which follows WSDL style, and a semantic part, which is a Datalog clause. The synthesizer has access to a repository of web services; each contains both syntactic and semantic descriptions. Web services in this thesis are restricted to be the ones corresponding to database queries. In the semantic specifications of web services, the Datalog clauses or SQL queries contain tables from global schemas only. An implementation is correct with respect to its specification if the answer set of the implementation is the same as the specification. To generate the implementation, we apply query planning to generate a service execution plan and its execution codes. We implemented the prototype system that can automatically generate the Java code that implements a web service.;Keywords: Web Service Specification, Signature, Query, Query Rewriting, Query Planning, Service Plan... |
