Show simple item record

2005-09-12Buch DOI: 10.18452/2455
Complete Abstract Operational Semantics for the Web Service Business Process Execution Language
dc.contributor.authorFahland, Dirk
dc.date.accessioned2017-06-15T17:08:44Z
dc.date.available2017-06-15T17:08:44Z
dc.date.created2005-09-13
dc.date.issued2005-09-12
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3107
dc.description.abstractIn this technical report we present an abstract operational semantics for the Business Process Execution Language for Web Services, or BPEL for short. In effect, the semantics defined herein are a variation and an extension of the semantics published first in [FGV04a] and [Far04] defined by the group of Uwe Glässer the Simon Fraser University, Vancouver, Canada. We namely add semantics for correlation handling, dead path elimination and event handling; we define the data handling on a finer level; we slightly alter the basic framework of how activities are formalized in [FGV04a] in order to achieve greater robustness against changes of the informal specification. Furthermore this technical report serves as a base for a joint work with the group of Simon Fraser University.eng
dc.language.isoeng
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.subject.ddc004 Informatik
dc.titleComplete Abstract Operational Semantics for the Web Service Business Process Execution Language
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10046740
dc.identifier.doihttp://dx.doi.org/10.18452/2455
local.edoc.container-titleInformatik-Berichte
local.edoc.pages209
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-volume2005
local.edoc.container-issue190
local.edoc.container-year2005
local.edoc.container-erstkatid2942054-4

Show simple item record