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 particular, the "software as a service" approach results in a componentized view of software applications, and the application of workflow as a component composition mechanism. BPEL naturally supports a multi-party interaction model, and BPEL processes present themselves as service components to other Web services. In addition, BPEL4WS results from the innovative merge between two approaches to workflow, as exemplified by the process algebraic view of XLANG [3] and the graph oriented view of WSFL [4], resulting in a sophisticated execution model that inherits the power of structured programming with the directness and flexibility of graph models. BPEL4WS includes extensive support for exception handling, which is at the core of the blending of the algebraic and graph execution models, see [6]. The res...