International Conference on Business Process Management

BPM 2005: Business Process Management pp 220-235

Transforming BPEL to Petri Nets

  • Sebastian Hinz
  • Karsten Schmidt
  • Christian Stahl
Conference paper

DOI: 10.1007/11538394_15

Volume 3649 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Hinz S., Schmidt K., Stahl C. (2005) Transforming BPEL to Petri Nets. In: van der Aalst W.M.P., Benatallah B., Casati F., Curbera F. (eds) Business Process Management. BPM 2005. Lecture Notes in Computer Science, vol 3649. Springer, Berlin, Heidelberg

Abstract

We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL specifications into the input language of the Petri net model checking tool LoLA. We demonstrate that the semantics is well suited for computer aided verification purposes.

Keywords

Business process modeling and analysis Formal models in business process management Process verification and validation BPEL Petri nets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Sebastian Hinz
    • 1
  • Karsten Schmidt
    • 1
  • Christian Stahl
    • 1
  1. 1.Institut für InformatikHumboldt–Universität zu BerlinBerlin