RESTful web service composition: extracting a process model from Linear Logic theorem proving

Xia Zhao; Enjie Liu; Gordon Clapworthy; Na Ye; Yueming Lu

doi:10.1109/NWeSP.2011.6088212

RESTful web service composition: extracting a process model from Linear Logic theorem proving

Xia Zhao
, Enjie Liu
, Gordon Clapworthy
, Na Ye
, Yueming Lu

Institute for Research in Applicable Computing (IRAC)

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

22 Citations (Scopus)

Abstract

This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.

Original language	English
Title of host publication	nan
Publisher	Institute of Electrical and Electronics Engineers Inc.
DOIs	https://doi.org/10.1109/NWeSP.2011.6088212
Publication status	Published - 1 Oct 2011
Event	2011 7th International Conference on Next Generation Web Services Practices - Salamanca Duration: 19 Oct 2011 → 21 Oct 2011

Conference

Conference	2011 7th International Conference on Next Generation Web Services Practices
City	Salamanca
Period	19/10/11 → 21/10/11
Other	2011 7th International Conference on Next Generation Web Services Practices (19/10/2011-21/10/2011, Salamanca)

Keywords

RESTful web services

Access to Document

10.1109/NWeSP.2011.6088212

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

Handle.net

Persistent link

Cite this

@inproceedings{02c448ab27444fd1b4a03976280427e2,

title = "RESTful web service composition: extracting a process model from Linear Logic theorem proving",

abstract = "This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.",

keywords = "RESTful web services",

author = "Xia Zhao and Enjie Liu and Gordon Clapworthy and Na Ye and Yueming Lu",

year = "2011",

month = oct,

day = "1",

doi = "10.1109/NWeSP.2011.6088212",

language = "English",

booktitle = "nan",

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

address = "United States",

note = "2011 7th International Conference on Next Generation Web Services Practices ; Conference date: 19-10-2011 Through 21-10-2011",

}

TY - GEN

T1 - RESTful web service composition: extracting a process model from Linear Logic theorem proving

AU - Zhao, Xia

AU - Liu, Enjie

AU - Clapworthy, Gordon

AU - Ye, Na

AU - Lu, Yueming

PY - 2011/10/1

Y1 - 2011/10/1

N2 - This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.

AB - This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.

KW - RESTful web services

U2 - 10.1109/NWeSP.2011.6088212

DO - 10.1109/NWeSP.2011.6088212

M3 - Conference contribution

BT - nan

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2011 7th International Conference on Next Generation Web Services Practices

Y2 - 19 October 2011 through 21 October 2011

ER -

RESTful web service composition: extracting a process model from Linear Logic theorem proving

Abstract

Conference

Keywords

Access to Document

Handle.net

Fingerprint

Cite this