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.
Abstract In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving.
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web ...
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving.
Formal Verification of Web Services Composition Using Linear Logic ...
ieeexplore.ieee.org › document
Abstract: We give an overview of a rigorous approach to Web Services composition based on theorem proving in the proof assistant HOL Light.
This research considers RESTful Web Services as state transition systems and proposes a novel Linear Logic based approach, the first of its kind, for both the ...
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 ...
Application of Linear Logic to Web Service Composition. - dblp
dblp.org › rec › conf › icws › RaoKM03
Bibliographic details on Application of Linear Logic to Web Service Composition.
In particular, we characterize the behavior of a service in terms of a finite state machine and specify user's requirement by a Linear Temporal Logic formula, ...
Jun 13, 2004 · This paper introduces a method for automatic composition of Semantic Web services using. Linear Logic (LL) theorem proving. The method uses ...