173 search results - page 23 / 35 » Tools for composite web services: a short overview |
JWSR
2006
13 years 7 months ago
2006
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
BXML
2004
13 years 9 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...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
JUCS
2006
13 years 7 months ago
2006
: To date, one of the main aims of the World Wide Web has been to provide users with information. In addition to private homepages, large professional information providers, includ...