A Two-Stage RESTful Web Service Composition Method Based on Linear Logic

RESTful web services, which are declarative, light-weight and easy-to-access, have attracted increasing interest from industry and are already widely used for exposing their services on the Internet. However, the formalism of RESTful web services, especially in terms of automatic composition, is still under explored compared to the extensive research in RPC-style web services. This paper introduces a formal definition of RESTful web services and proposes a method for RESTful web service composition based on Linear Logic. This is a two-stage proof-searching method that finds composition services at both resource and service invocation method levels. It greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition process.