Sciweavers

4286 search results - page 328 / 858
» Formalizing Service Interactions
Sort
View
WWW
2005
ACM
16 years 5 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 3 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...
162
Voted
EMISA
2004
Springer
16 years 2 hour 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 10 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...