The Business Process Modeling Notation (BPMN) and the Business Process Execution Language (BPEL) are the de-facto standards for process modeling and implementation. While BPMN allows to define choreographies, i.e. the interaction behavior of interconnected services, BPEL only allows an endpoint-centric view on services. To achieve applicability of BPEL in the choreography space, we defined BPEL...

In this paper, we investigate the suitability of the generalpurpose workflow language BPEL to create executable simulation workflows. We therefore compare BPEL to GriCoL, a graphical language with proven applicability for simulation workflows in Grid environments. We discover a number of incomparable concepts in the two languages. On the one hand, BPEL’s unique features in comparison to GriCoL ...

The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web services, its application is not limited to cross-organizational processes. It is expected that in the near future a wide variety of process-aware information systems will be realized using BPEL. While being a powerfu...

abstraCt Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been proposed for specifying and orchestrating business processes, resulting in the WS-BPEL language. Even if WS-BPEL has been developed to specify automated business processes that orchestrate activities of multiple Web ...

Web services are increasingly being used to expose applications over the Internet. To promote efficiency and the reuse of software, these Web services are being integrated both within enterprises and across enterprises, creating higher function services. BPEL is a workflow language that can be used to facilitate this integration. Unfortunately, the autonomous nature of Web services leaves BPEL ...

BPEL is being widely used to specify business processes through the orchestration, composition and coordination of web services. It is now common practice to begin the process of modeling the work ows within a set of BPEL business processes using UML Activity Diagrams since they can be automatically mapped down onto BPEL code. However activity diagrams were not intended to explicitly model user...

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) seem to be the winner amongst the Web Se...

The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) [1], is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack. In BPEL, the logic of the interactions between a given service and its environment is described as a composition of communication acti...

The errors in BPEL processes that are only detected at runtime are expensive to fix. Several modelers and process engines for BPEL exist, and the standard defines basic static analysis (SA) rules as a detection mechanism for invalid processes, but the actual conformance of BPEL modelers and engines regarding these rules is unknown. We propose to develop test cases to evaluate the conformance of...