A Petri Net Semantics for BPEL

Christian Stahl

69 citations0/0 files stored

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Service-Oriented Architecture and Web Services Petri Nets in System Modeling

Abstract

We present a pattern-based Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics is complete - it covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). Therefore every business process specified in BPEL can be transformed into a Petri net.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 69 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2000Production Workflow - Concepts and Techniques

Cited by

2014The relationship between workflow graphs and free-choice workflow nets 2008Formal Semantics and Verification of BPMN Transaction and Compensation 2014A new verification technique for large processes based on identification of relevant tasks 2006Formalising Business Process Execution with Bigraphs and Reactive XML 2013Robust Client/Server Shared State Interactions of Collaborative Process with System Crash and Network Failures 2011Improving processes using static analysis techniques

Imported from OpenAlex (CC0) — nothing here is generated.