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

Authors:
Xia Zhao;Enjie Liu;Gordon J. Clapworthy
Affiliations:
-;-;-
Venue:
ECOWS '11 Proceedings of the 2011 IEEE Ninth European Conference on Web Services
Year:
2011

Citing 0
Cited 2

A finite-state machine approach for modeling and analyzing restful systems

Journal of Web Engineering
Control-Flow Patterns for Decentralized RESTful Service Composition

ACM Transactions on the Web (TWEB)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.