BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of BPEL is the lack of so-called “human workflow” support. The BPEL4People specification tries to amend this by adding human task support to BPEL. In this paper, we propose a formal model of BPEL4People using the CSP pro...

We define an abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. This way, we model the dynamic properties of the key language constructs through the construction of a BPEL abstract machine in terms of a distributed real-time ASM. Specifically, we focus here on the process execution model and the...

The inherent heterogeneity of the Grid demands the ability to specify choreographies in portable manner. This ensures that a choreography once specified can be deployed and executed in every workflow system within a Grid environment. Likely, BPEL will have the corresponding broad support in the industry. In order to become first class citizens in the Grid choreographies have to comply with the ...

An alignment of the Business Process Execution Language (BPEL) and the Business Process Modelling Notation (BPMN) promises seamless integration of process documentation and executable process definitions. Thus, a lot of research has been conducted on a mapping from BPMN to BPEL. The other perspective of this alignment, i.e. a BPEL-to-BPMN mapping, was largely neglected. This paper presents a co...

This paper investigates the problem of dynamic reconfiguration by means of a workflow-based case study used for discussion. We state the requirements on a system implementing the workflow and its reconfiguration, and we describe the system’s design in BPMN. WS-BPEL, a language that would not naturally support dynamic change, is used as a target for implementation. The WS-BPEL recovery framework...

The Web Service Choreography Description Language (WSCDL) is a specification for describing multi party collaboration based on Web Services from a global point of view. WS-CDL is designed to be used in conjunction with the Web Services Business Process Execution Language (WS-BPEL or BPEL). As WS-CDL is a new choreography language, there has been doubt on the feasibility of a transformation to B...

Service-oriented architecture (SOA) is increasingly popular for constructing eLearning systems. SOA encourages the separation of process from underlying services. The separation is also advocated by IMS Learning Design, an international standard for describing a learning process. Despite the apparent congruence and the recent proposals of several SOAs for eLearning, existing eLearning systems h...

The WS-BPEL 2.0 specification [WS-BPEL 2.0] provides a language for formally describing business processes and business interaction protocols. WS-BPEL was designed to extend the Web Services interaction model to support business transactions. The WS-BPEL Primer is a non-normative document intended to provide an easy to read explanation of the WS-BPEL 2.0 specification. The goal of this document...

The Business Process Modelling Notation (BPMN) is a graphoriented language in which control and action nodes can be connected almost arbitrarily. It is supported by various modelling tools but so far no systems can directly execute BPMN models. The Business Process Execution Language for Web Services (BPEL) on the other hand is a mainly block-structured language supported by several execution p...

Emerging methods for enterprise systems analysis rely on the representation of work practices in the form of business process models. A standard for representing such models is the Business Process Modeling Notation (BPMN). BPMN models are mainly intended for communication and decision-making between domain analysts, but often they are also given as input to software development projects. Meanw...