For the most recent entries see the Petri Nets Newsletter.

Transforming BPEL to Petri Nets.

Hinz, Sebastian; Schmidt, Karsten; Stahl, Christian

In: Lecture Notes in Computer Science, Vol. 3649, pages 220-235. 2005.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography