Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A linear logic approach to the composition of RESTful web services

A linear logic approach to the composition of RESTful web services 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. Keywords: RESTful web services; composition; linear logic; -calculus; theorem proving; Coq. Reference to this paper should be made as follows: Zhao, X., Liu, E., Yu, H.Q. and Clapworthy, G.J. (2015) `A linear logic approach to the composition of RESTful web services', Int. J. Web Engineering and Technology, Vol. 10, No. 3, pp.245­271. Biographical notes: Xia Zhao is a Research Fellow in the Centre for Computer Graphics and Visualisation (CCGV) at the University of Bedfordshire. She has a PhD in Computer Science from the University of Bedfordshire and an MSc (dist) in Software Engineering for the e-Economy from the University of Leicester. She has involved in nine European projects. Copyright © 2015 Inderscience Enterprises Ltd. X. Zhao et al. Her research interests include service oriented computing, web services, cloud computing, big data management, data analytics. Enjie Liu is a Reader and member of CCGV. She joined University of Bedfordshire in 2003, and before that she worked http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png International Journal of Web Engineering and Technology Inderscience Publishers

A linear logic approach to the composition of RESTful web services

Download PDF
27 pages

Loading next page...
 
/lp/inderscience-publishers/a-linear-logic-approach-to-the-composition-of-restful-web-services-om4BPX0ONg
Publisher
Inderscience Publishers
Copyright
Copyright © 2015 Inderscience Enterprises Ltd.
ISSN
1476-1289
eISSN
1741-9212
DOI
10.1504/IJWET.2015.072348
Publisher site
See Article on Publisher Site

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. Keywords: RESTful web services; composition; linear logic; -calculus; theorem proving; Coq. Reference to this paper should be made as follows: Zhao, X., Liu, E., Yu, H.Q. and Clapworthy, G.J. (2015) `A linear logic approach to the composition of RESTful web services', Int. J. Web Engineering and Technology, Vol. 10, No. 3, pp.245­271. Biographical notes: Xia Zhao is a Research Fellow in the Centre for Computer Graphics and Visualisation (CCGV) at the University of Bedfordshire. She has a PhD in Computer Science from the University of Bedfordshire and an MSc (dist) in Software Engineering for the e-Economy from the University of Leicester. She has involved in nine European projects. Copyright © 2015 Inderscience Enterprises Ltd. X. Zhao et al. Her research interests include service oriented computing, web services, cloud computing, big data management, data analytics. Enjie Liu is a Reader and member of CCGV. She joined University of Bedfordshire in 2003, and before that she worked

Journal

International Journal of Web Engineering and Technology – Inderscience Publishers

Published: Jan 1, 2015

There are no references for this article.