We present a Petri net semantics for the Business Process Execution Language for Web
Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the …

This paper is concerned with the application of Web services to distributed, cross-
organizational business processes. In this scenario, it is crucial to answer the following …

This paper addresses role-based decomposition of a business process model (based on a
subset of WS-BPEL, using explicit data links. A mechanism is presented for partitioning a …

WS-BPEL applications are a kind of service-oriented application. They use XPath
extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong …

We present a pattern-based Petri net semantics for the Business Process Execution
Language for Web Services (BPEL). Our semantics is complete-it covers the standard …

We give an overview on web services and the web service technology stack. We then show
how to build Petri net models of web services formulated in the specification language …

BPEL is presently the most prominent language to specify and execute business processes,
using Web Services as its technological basis. Particular problems arise when activities are …

The Web Services Business Process Execution Language (BPEL for short) is a recently
developed language that is used to specify compositions of web services. In the last few …

Process models play an all-important role in the development of cross-organizational
business processes. On the one hand, the interaction between the participating companies …

Multiview video plus depth (MVD) is the most popular 3D video format where the texture
images contain the color information and the depth maps represent the geometry of the …