Work

A Petri Net Semantics for BPEL

Year: 2005

Type: other

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.

DOI: 10.18452/2449

Author: Stahl, Christian

Institution: Humboldt-Universität zu Berlin

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: green

OpenAlex ID: W56263917

Cites: 16

Cited by: 70

Related to: 10