Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...

TRAP/BPEL is a framework that adds autonomic behavior into existing BPEL processes automatically and transparently. We define an autonomic BPEL process as a composite Web service that is capable of responding to changes in its execution environment (e.g., a failure in a partner Web service). Unlike other approaches, TRAP/BPEL does not require any manual modifications to the original code of the...

Standard BPEL (Business Process Execution Language) variables, if used to store the data from a data store, cannot be automatically synchronized with the data source in case other applications change the data during the BPEL process execution, which is a common occurrence particularly for long-running BPEL processes. BPEL also does not provide a mechanism for active monitoring of changes of dat...

The Business Process Execution Language for Web Services (BPEL) is frequently used to implement business processes on a technical level. Yet, as BPEL is also very much related to business logic, BPEL process definitions have to be communicated to business analysts, whether for approval or for process re-engineering. As BPEL does not offer a graphical notation, an automatic transformation to a g...

This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra allows faults to be thrown at any point of execution and take link-based synchronization into considerat...

WS-BPEL is the standard for specifying and executing business processes by orchestrating Web Services. Abstract and executable processes are two kinds of BPEL processes that are defined in the BPEL standard. An abstract process can be used as a process template, which can be completed and made executable through “executable completion”. The BPEL standard defines a set of rules that must be obey...