Specification and Validation of the Business Process Execution Language for Web Services (2004)
| Venue: | In Abstract State Machines |
| Citations: | 23 - 5 self |
BibTeX
@INPROCEEDINGS{Farahbod04specificationand,
author = {Roozbeh Farahbod and Uwe Glässer and Mona Vajihollahi},
title = {Specification and Validation of the Business Process Execution Language for Web Services},
booktitle = {In Abstract State Machines},
year = {2004},
pages = {78--94},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We formally define an abstract executable semantics for the Business Process Execution Language for Web Services in terms of a distributed ASM. The goal of this work is to support the design and standardization of the language. “There is a need for formalism. It will allow us to not only reason about the current specification and related issues, but also uncover issues that would otherwise go unnoticed. Empirical deduction is not sufficient. ” – Issue #42, OASIS WSBPEL TC. The language definition assumes an infrastructure for running Web services on some asynchronous communication architecture. A business process is built on top of a collection of Web services performing continuous interactions with the outside world by sending and receiving messages over a communication network. The underlying execution model is characterized by its concurrent and reactive behavior making it particularly difficult to predict dynamic system properties with a sufficient degree of detail and precision under all circumstances. 1
