A linear logic approach to the composition of RESTful web services

2.50
Hdl Handle:
http://hdl.handle.net/10547/623029
Title:
A linear logic approach to the composition of RESTful web services
Authors:
Zhao, Xia; Liu, Enjie; Yu, Hong Qing; Clapworthy, Gordon J.
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.
Affiliation:
University of Bedfordshire
Citation:
Zhao X, Liu E, Yu H Q, Clapworthy G (2015) 'A linear logic approach to the composition of RESTful web services', International Journal of Web Engineering and Technology, 10 (3), pp.245-271.
Publisher:
Inderscience
Journal:
International Journal of Web Engineering and Technology
Issue Date:
9-Oct-2015
URI:
http://hdl.handle.net/10547/623029
DOI:
10.1504/IJWET.2015.072348
Additional Links:
https://www.inderscience.com/info/inarticle.php?artid=72348
Type:
Article
Language:
en
ISSN:
1476-1289
EISSN:
1741-9212
Appears in Collections:
Computing

Full metadata record

DC FieldValue Language
dc.contributor.authorZhao, Xiaen
dc.contributor.authorLiu, Enjieen
dc.contributor.authorYu, Hong Qingen
dc.contributor.authorClapworthy, Gordon J.en
dc.date.accessioned2018-11-30T12:59:39Z-
dc.date.available2018-11-30T12:59:39Z-
dc.date.issued2015-10-09-
dc.identifier.citationZhao X, Liu E, Yu H Q, Clapworthy G (2015) 'A linear logic approach to the composition of RESTful web services', International Journal of Web Engineering and Technology, 10 (3), pp.245-271.en
dc.identifier.issn1476-1289-
dc.identifier.doi10.1504/IJWET.2015.072348-
dc.identifier.urihttp://hdl.handle.net/10547/623029-
dc.description.abstractRESTful 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.en
dc.language.isoenen
dc.publisherInderscienceen
dc.relation.urlhttps://www.inderscience.com/info/inarticle.php?artid=72348en
dc.rightsYellow - can archive pre-print (ie pre-refereeing)-
dc.subjectRESTful web servicesen
dc.subjectweb service compositionen
dc.subjectlinear logicen
dc.subjectpi-calculusen
dc.subjecttheorem provingen
dc.subjectCoqen
dc.subjectG420 Networks and Communicationsen
dc.titleA linear logic approach to the composition of RESTful web servicesen
dc.typeArticleen
dc.identifier.eissn1741-9212-
dc.contributor.departmentUniversity of Bedfordshireen
dc.identifier.journalInternational Journal of Web Engineering and Technologyen
dc.date.updated2018-11-30T12:56:49Z-
All Items in UOBREP are protected by copyright, with all rights reserved, unless otherwise indicated.