Sciweavers

192 search results - page 11 / 39
» Simulation, verification and automated composition of web se...
Sort
View
WWW
2005
ACM
14 years 1 months ago
Automated synthesis of executable web service compositions from BPEL4WS processes
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli...
AAAI
2007
13 years 10 months ago
Making the Difference in Semantic Web Service Composition
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. In this paper we propose a mean of performing automated Web service ...
Freddy Lécué, Alexandre Delteil
DEBU
2008
126views more  DEBU 2008»
13 years 7 months ago
Automated Composition of Web Services: the ASTRO Approach
Annapaola Marconi, Marco Pistore, Paolo Traverso
ICSOC
2009
Springer
14 years 2 months ago
Generating Interface Grammars from WSDL for Automated Verification of Web Services
Sylvain Hallé, Graham Hughes, Tevfik Bultan...