Sciweavers

4286 search results - page 328 / 858
» Formalizing Service Interactions
Sort
View
WWW
2005
ACM
16 years 26 days 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...
ICSOC
2005
Springer
16 years 25 days ago
ASTRO: Supporting Composition and Execution of Web Services
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
Michele Trainotti, Marco Pistore, Gaetano Calabres...
EMISA
2004
Springer
16 years 21 days ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
CAISE
2006
Springer
15 years 11 months ago
Flexibility in Service Processes
: Service processes are a special type of business processes playing an increasingly important role in modern economies. They require new forms of flexibility not found in ordinary...
Rainer Schmidt
GEOINFO
2007
15 years 8 months ago
A Service-Oriented Architecture for Progressive Transmission of Maps
The Internet creates an environment suitable to spatial data share, allowing the users to transmit, visualize, manipulate and interact with them. This environment not only allows n...
David Cavassana Costa, Mario Meireles Teixeira, An...