BPEL is currently the most widespread language for composing Web services, but it lacks formal semantics. YAWL is a workflow language with a well defined formal semantics that implements the most common workflow patterns. In this paper we provide a methodology for translating BPEL processes into YAWL workflows, thus paving the way for the formal analysis, aggregation and adaptation of BPEL proc...

Context: Business Process Execution Language (BPEL) is a widely recognized executable service composition language, which is significantly different from typical programming languages in both syntax and semantics, and especially shorter in program scale. How to effectively locate faults in BPEL programs is an open and challenging problem. Objective: In this paper, we propose a fault localizatio...

WS-BPEL is de-facto industry standard for business processes. One of its major shortcomings is lack of temporal management capabilities. WS-BPEL offers no possibility for definition, calculation and monitoring of temporal values such as activity duration and deadlines as well as checking the temporal conformance of processes. This paper tackles temporal management of WS-BPEL based on two differ...

Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Language for Web Services (BPEL, also known as WS-BPEL or BPEL4WS) a powerful language for the process-oriented composition and orchestration of Web services exists. However, BPEL flow specifications tend to be too complex, and curre...

The Business Process Execution Language (BPEL) is now a de facto standard for specifying and executing business process for web service composition and orchestration. As more and more web services are composed using BPEL, tuning these compositions and gain better performance becomes increasingly important. This paper presents our approach for optimizing the BPEL process and introduces OptBPEL, ...

AbstrAct The Business Process Execution Language for Web Services (BPEL) is an emerging standard for specifying the behaviour of Web services at different levels of details using business process modeling constructs. It represents a convergence between Web services and business process technology. This chapter introduces the main concepts and constructs of BPEL and illustrates them by means of ...

To provide a framework to compose lots of specialised services flexibly, BPEL is proposed to describe Web service flows. Since the Web service flow description is basically a distributed collaboration, writing correct programs in BPEL is not easy. Verifying BPEL program prior to its execution is essential. This paper proposes a method to extract the behavioral specification from a BPEL appliati...

BPEL process executable BPEL process

Für Service–orientierte Architekturen steht mit BPEL eine standardisierte Sprache für die Koordination von Abläufen zur Verfügung. Mobile Nutzer werden dagegen in BPEL nicht explizit unterstützt. Jedoch bietet BPEL auf Sprachebene eine standardisierte Möglichkeit für die Funktionserweiterung an. Basierend auf dem Entwurf einer Spracherweiterung zur Unterstützung mobiler Nutzer wird hier beschri...