Some years ago, BEA, IBM, Microsoft, SAP AG, and Siebel Systems teamed up and proposed the Business Process Execution Language for Web Services (BPEL or BPEL4WS) for application integration within and across organizational boundaries. By now, BPEL has become the de facto standard in this Web services composition arena. However, little effort has been dedicated so far concerning the verification...

While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of adaptive processes is for concurrent activities in the process to respect coordination constraints. These require that concurrent activities coordinate their behaviors in response to events otherwise the process may be...

The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechanism. To understand it better, many recent works have mainly focused on formal semantic models for WS-BPEL. In this paper, we make one step forward by investigating the verification problem for business processes writte...

An increasing number of software applications and business processes are relying upon the use of web services to achieve their requirements. This is due in part to the use of standardized composition languages like the Business Process Execution Language (BPEL). BPEL allows the process designer to compose a procedural workflow from an arbitrary number of available web services and supplemental ...

UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodology of choice for developing ebXML business processes. Another technology for realizing B2B partnerships is Web Services. Currently, the business process execution languages (BPEL) seems to be the winner amongst the Web S...

The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechanism. To understand it better, many recent works have mainly focused on formal semantic models for WS-BPEL. In this paper, we make one step forward by investigating the verification problem for business processes writte...

In BIS-Grid, a BMBF-funded project in the context of the German D-Grid initiative (http://www.d-grid.de), we focus on employing Grid technologies for information systems integration. The goal is to enable small and medium enterprises (SMEs) to integrate heterogeneous business information systems and to use external Grid resources and services with reasonable effort. To achieve this goal, we dev...

Temporal management and assurance of temporal compatibility is an important quality criteria for processes within and across organizations. Temporal conformance increases QoS and reduces process execution costs. WS-BPEL as the accpetd industry standard lacks sufficient temporal management capabilities. In this paper we introduce BPEL-TIME, a WS-BPEL extension for time management purposes. It al...