A Petri Net Semantics for BPEL
dc.contributor.author | Stahl, Christian | |
dc.date.accessioned | 2017-06-15T17:07:34Z | |
dc.date.available | 2017-06-15T17:07:34Z | |
dc.date.created | 2005-07-06 | |
dc.date.issued | 2005-07-06 | |
dc.identifier.issn | 0863-095X | |
dc.identifier.uri | http://edoc.hu-berlin.de/18452/3101 | |
dc.description.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. | eng |
dc.language.iso | eng | |
dc.publisher | Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik | |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
dc.subject.ddc | 004 Informatik | |
dc.title | A Petri Net Semantics for BPEL | |
dc.type | book | |
dc.identifier.urn | urn:nbn:de:kobv:11-10043234 | |
dc.identifier.doi | http://dx.doi.org/10.18452/2449 | |
local.edoc.pages | 84 | |
local.edoc.type-name | Buch | |
local.edoc.container-type | series | |
local.edoc.container-type-name | Schriftenreihe | |
local.edoc.container-year | 2005 | |
dc.identifier.zdb | 2942054-4 | |
bua.series.name | Informatik-Berichte | |
bua.series.issuenumber | 2005,188 |