A common problem in applying choreographies and orchestrations is ensuring and enforcing the consistency of the models which is often referred to as “conformance checking”. In this position paper, we introduce a concept for checking the conformance of WS-BPEL based orchestrations to ebBP-ST choreographies: First, the ebBP-ST and WS-BPEL models will be transformed into the process algebra CCS. A...

Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition language exists. BPEL implementations allow orchestrating complex, stateful interactions among Web Services in a processoriented way. One important task in this context is to ensure that respective flow specifications ...

Web service composition is an error prone task. Based on CP-nets (colored petri net) models, an approach of test case generation is proposed for web service compositions coded in BPEL. In this approach the semantic of BPEL concurrence and some special features are well dealt. Firstly, BPEL processes of a web service composition is translated into CP-nets models, then depth-first traversal works...

Despite the popularity of BPEL engines to orchestrate complex and executable processes, there are still only few approaches available to help find the most appropriate engine for individual requirements. One of the more crucial factors for such a middleware product in industry are the performance characteristics of a BPEL engine. There exist multiple studies in industry and academia testing the...

We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages for web services. We focus on a simplified fragment of WS-BPEL sufficiently expressive to model asynchronous interactions among web services in a network context. We present this langua...

Business processes and their implementation as Web Service Compositions are not only dependent on Web Services and partners all over the Internet, but also on their failsafe execution. Service providers have to obligate their services to perform according to negotiated Quality of Service (QoS) parameters. For example, response time and throughput are important parameters to achieve fast and eff...

The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. It is an expressive but also highly complex language. The language is rather targeted towards describing processes at the implementation level and is too low-level for describing processes as analysis models or design models. Also, since BPEL has no formal semant...

In the Business Process modeling area, the Business Process Execution Language (BPEL) seems to be gaining ground in favor of its other competitors. The simplicity of the protocol coupled with its ability to hide the complex mechanisms that lie underneath along with advanced control features and integration with other concrete standards as XPath and XSLT have contributed to its acceptance. BPEL ...

We compare two Petri net semantics for the Web Services Business Process Execution Language (BPEL). The comparison reveals different modeling decisions. These decisions together with their consequences are discussed. We also give an overview of the different properties that can be verified on the resulting models. A case study helps to evaluate the corresponding compilers which transform a BPEL...

This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly in...