Skip to search boxSkip to navigationSkip to main content

A two-stage RESTful web service composition method based on linear logic

Research Output: Chapter in Book/Report/Conference proceeding Conference contribution Peer-review

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.

Publication Information

Output type

Research Output: Chapter in Book/Report/Conference proceeding Conference contribution Peer-review

Original language

English

Publication milestones

  • Published - 01/09/2011

Publication status

Published - 01/09/2011

Publisher

Institute of Electrical and Electronics Engineers Inc., United States

ISBN (Print)

9781457715327

ISBN (Electronic)

9781457715327

External Publication IDs

  • handle.net: 10547/221344
  • Scopus: 81255210498

Host publication title

nan

Access to documents

Publication metrics