ASM-based Semantics for BPEL: The Negative Control Flow

  title={ASM-based Semantics for BPEL: The Negative Control Flow},
  author={Dirk Fahland and Wolfgang Reisig},
  booktitle={Abstract State Machines},
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 faulty : faults have to be propagated, other activities have to be irregularly terminated, etc. We describe the formal semantics of fault handlers and event handlers, demonstrating that ASMs are most adequate for this purpose. 
Highly Cited
This paper has 102 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 15 references

Humboldt-Universität zu Berlin

Dirk Fahland. Ein Ansatz einer formalen Semantik der Bu Studienarbeit
June • 2004
View 4 Excerpts
Highly Influenced

Formal Operational Semantics of BPEL4WS

Dirk Fahland
Technical report, Humboldt-Universität zu Berlin, • 2005
View 4 Excerpts


Roozbeh Farahbod. Extending, Refining an Abstract Operational Semantics of the Web Servi thesis, Simon Fraser University, Burnaby B.C
July • 2004

In Abstract State Machines

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi. Specification, Validation of the Business Process Execution Language for Web Services
pages 78–94, • 2004
View 1 Excerpt

Specification and Validation of the Business Process Execution Language for Web Services

Uwe Glässer, Mona Vajihollahi
Abstract State Machines , pages • 2004

Abstract State Machines

Springer Berlin Heidelberg • 2003
View 2 Excerpts

Computer Networks

Srini Narayanan, Sheila A. McIlraith. Analysis, simulation of Web Services
42(5):675–693, • 2003
View 1 Excerpt

et al

A. Curbera, D. Box
Web Services Addressing (WSAddressing). Specification, BEA, IBM, Microsoft, March • 2003
View 2 Excerpts

Similar Papers

Loading similar papers…