Skip to search boxSkip to navigationSkip to main content

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

  • Xia Zhao
    ,
  • Enjie Liu
    ,
  • Gordon Clapworthy
    ,
  • Na Ye
    ,
  • Yueming Lu
Research Output: Chapter in Book/Report/Conference proceeding Conference contribution Peer-review

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.

Publication Information

Output type

Research Output: Chapter in Book/Report/Conference proceeding Conference contribution Peer-review

Original language

English

Publication milestones

  • Published - 01/10/2011

Publication status

Published - 01/10/2011

Publisher

Institute of Electrical and Electronics Engineers Inc., United States

External Publication IDs

  • handle.net: 10547/221342
  • Scopus: 83755186085

Host publication title

nan

Access to documents

Publication metrics