Skip to search boxSkip to navigationSkip to main content

A linear logic approach to the composition of RESTful web services

  • Xia Zhao
    ,
  • Enjie Liu
    ,
  • Hong Qing Yu
    ,
  • Gordon Clapworthy
Research Output: Contribution to journal Article Peer-review

Abstract

RESTful web services, which are declarative, lightweight and easy to access, are already widely used for exposing services on the internet and have attracted increasing interest from industry. The rising number of services being implemented and made available on the web is creating a demand for modelling techniques that can abstract REST design from the implementation in order to better specify, analyse and implement large-scale RESTful web systems. It can also help by providing suitable RESTful web service composition methods which can reduce costs by efficiently re-using the large number of services that are already available and by exploiting existing services for complex business purposes. This paper introduces a formal model of RESTful web services in linear logic and proposes a formal method approach for RESTful web service composition based on planning using linear logic via theorem proving. This is a two-stage planning method that finds resources for the composition at both the abstract resource and the service operation levels. It greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition process. The paper demonstrates a further validation of the planning method through its implementation in the interactive Coq logic proof assistant.

Publication Information

Output type

Research Output: Contribution to journal Article Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 245-271

Journal (Volume, Issue Number)

International Journal of Web Engineering and Technology (Volume 10, Issue 3)

Publication milestones

  • Published - 09/10/2015

Publication status

Published - 09/10/2015

ISSN

1476-1289

External Publication IDs

  • handle.net: 10547/623029
  • Scopus: 84944674863

Access to documents

Publication metrics

Metrics