Zur Kurzanzeige

2005-07-06Buch DOI: 10.18452/2449
A Petri Net Semantics for BPEL
dc.contributor.authorStahl, Christian
dc.date.accessioned2017-06-15T17:07:34Z
dc.date.available2017-06-15T17:07:34Z
dc.date.created2005-07-06
dc.date.issued2005-07-06
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3101
dc.description.abstractWe 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.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Informatik
dc.titleA Petri Net Semantics for BPEL
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10043234
dc.identifier.doihttp://dx.doi.org/10.18452/2449
local.edoc.pages84
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year2005
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber2005,188

Zur Kurzanzeige