Sciweavers

13 search results - page 2 / 3
» epew 2005
Sort
View
EPEW
2005
Springer
13 years 9 months ago
Life After BPEL?
The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microso...
Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M...
EPEW
2005
Springer
13 years 9 months ago
From Theory to Practice in Transactional Composition of Web Services
We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in ...
Roberto Bruni, Gian Luigi Ferrari, Hernán C...
EPEW
2005
Springer
13 years 9 months ago
Automatic Translation of WS-CDL Choreographies to Timed Automata
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
Gregorio Díaz, Juan José Pardo, Mar&...
EPEW
2005
Springer
13 years 9 months ago
Choreographing Security and Performance Analysis for Web Services
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
Stephen Gilmore, Valentin Haenel, Leïla Kloul...
EPEW
2005
Springer
13 years 9 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes