ePrints

Features of BPEL Modelled via Structural Operational Semantics [M. Phil Thesis]

Lookup NU author(s): Dr Joey Coleman

Downloads

• Published version [.pdf]

Abstract

This work gives a structural operational semantics of selected features of the BPEL4WS (Business Process Execution Language for Web Services) language. Included among the features are: assignment; hierarchical variable scoping and environments; sequential execution; conditional execution; looping; a synchronization primitive; concurrent execution; distributed execution and remote invocation; exception handling; and compensation.

Publication metadata

Author(s): Coleman JW

Publication type: Report

Publication status: Published

Series Title:

Year: 2004

Pages: 231

Print publication date: 01/11/2004

Source Publication Date: November 2004

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

Share