422 search results - page 53 / 85 » A Framework for Dynamic Web Services Composition |
145
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a use...
104
click to vote
CASCON
2007
15 years 3 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
120
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
143
click to vote
BXML
2004
15 years 2 months ago
2004
: In this paper we present our ongoing work in creating a semantic Web service composition and execution framework. The efforts described are undertaken in the context of the SATIN...
103
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...