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

Xia Zhao; Enjie Liu; Gordon Clapworthy

doi:10.1109/ECOWS.2011.11

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

Xia Zhao
, Enjie Liu
, Gordon Clapworthy

Institute for Research in Applicable Computing (IRAC)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 Citations (Scopus)

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.

Original language	English
Title of host publication	nan
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781457715327
ISBN (Print)	9781457715327
DOIs	https://doi.org/10.1109/ECOWS.2011.11
Publication status	Published - 1 Sept 2011
Event	2011 IEEE Ninth European Conference on Web Services - Lugano Duration: 14 Sept 2011 → 16 Sept 2011

Conference

Conference	2011 IEEE Ninth European Conference on Web Services
City	Lugano
Period	14/09/11 → 16/09/11
Other	2011 IEEE Ninth European Conference on Web Services (14/09/2011-16/09/2011, Lugano)

Keywords

linear logic

Access to Document

10.1109/ECOWS.2011.11

https://ieeexplore.ieee.org/document/6061100

Handle.net

Persistent link

Cite this

@inproceedings{97aeecb05ed2444aa6b43092d61686f5,

title = "A two-stage RESTful web service composition method based on linear logic",

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.",

keywords = "linear logic",

author = "Xia Zhao and Enjie Liu and Gordon Clapworthy",

year = "2011",

month = sep,

day = "1",

doi = "10.1109/ECOWS.2011.11",

language = "English",

isbn = "9781457715327",

booktitle = "nan",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "2011 IEEE Ninth European Conference on Web Services ; Conference date: 14-09-2011 Through 16-09-2011",

}

TY - GEN

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

AU - Zhao, Xia

AU - Liu, Enjie

AU - Clapworthy, Gordon

PY - 2011/9/1

Y1 - 2011/9/1

N2 - 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.

AB - 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.

KW - linear logic

U2 - 10.1109/ECOWS.2011.11

DO - 10.1109/ECOWS.2011.11

M3 - Conference contribution

SN - 9781457715327

BT - nan

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2011 IEEE Ninth European Conference on Web Services

Y2 - 14 September 2011 through 16 September 2011

ER -

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

Abstract

Conference

Keywords

Access to Document

Handle.net

Fingerprint

Cite this