Complete Abstract Operational Semantics for the Web Service Business Process Execution Language

Dirk Fahland
In this technical report we present an abstract operational semantics for the Business Process Execution Language for Web Services, or BPEL for short. In effect, the semantics defined herein are a variation and an extension of the semantics published first in [FGV04a] and [Far04] defined by the group of Uwe Glässer the Simon Fraser University, Vancouver, Canada. We namely add semantics for correlation handling, dead path elimination and event handling; we define the data handling...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.