Sciweavers

307 search results - page 14 / 62
» A Query-based System for Automatic Invocation of Web Service...
Sort
View
IEEESCC
2006
IEEE
15 years 3 months ago
Using Data Semantics to Enable Automatic Composition of Web Services
— This paper demonstrates the automatic creation of a web service that chains together existing web services to achieve a particular goal. The generated service implements the ne...
Danny Gagne, Marwan Sabbouh, Scott R. Bennett, Sus...
SIGSOFT
2008
ACM
15 years 10 months ago
Modular verification of web services using efficient symbolic encoding and summarization
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...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
ICWS
2008
IEEE
14 years 11 months ago
Dynamic Exception Handling Based on Web Services and OPC XML-DA
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...
Francisco Javier Díez, Iñaki Maurtua
ICWE
2004
Springer
15 years 3 months ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller
EUROPAR
2006
Springer
15 years 1 months ago
Adding Dynamism to OGSA-DQP: Incorporating the DynaSOAr Framework in Distributed Query Processing
OGSA-DQP is a Distributed Query Processing system for the Grid. It uses the OGSA-DAI framework for querying individual databases and adds on top of it an infrastructure to perform ...
Arijit Mukherjee, Paul Watson