Sciweavers

22 search results - page 1 / 5
» Implementing BPEL4WS: the architecture of a BPEL4WS implemen...
Sort
View
CONCURRENCY
2006
112views more  CONCURRENCY 2006»
13 years 4 months ago
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
Francisco Curbera, Rania Khalaf, William Nagy, San...
WWW
2005
ACM
13 years 10 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...
EMISA
2004
Springer
13 years 10 months 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
CONCURRENCY
2006
59views more  CONCURRENCY 2006»
13 years 4 months ago
On using BPEL extensibility to implement OGSI and WSRF Grid workflows
This paper discusses the benefits and challenges of using BPEL4WS in Grid environments. In particular we look on how BPEL4WS built-in extensibility can be used to facilitate execu...
Aleksander Slomiski
FM
2005
Springer
99views Formal Methods» more  FM 2005»
13 years 10 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...