An Abstract Machine Architecture for Web Service Based Business Process Management

An Abstract Machine Architecture for Web Service Based Business Process Management

We define an abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a BPEL abstract machine. Specific...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Farahbod, Roozbeh, Glässer, Uwe, Vajihollahi, Mona
Format: Buchkapitel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 157
container_issue
container_start_page 144
container_title
container_volume
creator Farahbod, Roozbeh
Glässer, Uwe
Vajihollahi, Mona
description We define an abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a BPEL abstract machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL abstract machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.
doi_str_mv 10.1007/11678564_13
format Book Chapter
fullrecord <record><control><sourceid>springer</sourceid><recordid>TN_cdi_springer_books_10_1007_11678564_13</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>springer_books_10_1007_11678564_13</sourcerecordid><originalsourceid>FETCH-springer_books_10_1007_11678564_133</originalsourceid><addsrcrecordid>eNqVjz1PwzAQQK9QJFJg4g94ZQjcxY5DxhRRsVRCgMRoOeZawoeDfC6_n1ZCgrXTG95bHsA54SUhNldEtrmurXGkJzDTtUFd1a01B1CQJSq1Nu3hn6jtFArUWJVtY_QxzETeELFq2qqAhy6qrpecfMhq6cPrEFl1acvMIW8Sq9WY1DP36pHT9xBYzb3wi5pvZFuKqPs0hh2XPvo1f3LMp3C08h_CZ788gYvF7dPNXSlfaYhrTq4fx3dxhG634_7t6H3aH2QYSlI</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>An Abstract Machine Architecture for Web Service Based Business Process Management</title><source>Springer Books</source><creator>Farahbod, Roozbeh ; Glässer, Uwe ; Vajihollahi, Mona</creator><contributor>Haller, Armin ; Bussler, Christoph J.</contributor><creatorcontrib>Farahbod, Roozbeh ; Glässer, Uwe ; Vajihollahi, Mona ; Haller, Armin ; Bussler, Christoph J.</creatorcontrib><description>We define an abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a BPEL abstract machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL abstract machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540325956</identifier><identifier>ISBN: 9783540325956</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540325964</identifier><identifier>EISBN: 9783540325963</identifier><identifier>DOI: 10.1007/11678564_13</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><ispartof>Business Process Management Workshops, 2006, p.144-157</ispartof><rights>Springer-Verlag Berlin Heidelberg 2006</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11678564_13$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11678564_13$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>779,780,784,793,27925,38255,41442,42511</link.rule.ids></links><search><contributor>Haller, Armin</contributor><contributor>Bussler, Christoph J.</contributor><creatorcontrib>Farahbod, Roozbeh</creatorcontrib><creatorcontrib>Glässer, Uwe</creatorcontrib><creatorcontrib>Vajihollahi, Mona</creatorcontrib><title>An Abstract Machine Architecture for Web Service Based Business Process Management</title><title>Business Process Management Workshops</title><description>We define an abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a BPEL abstract machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL abstract machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.</description><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540325956</isbn><isbn>9783540325956</isbn><isbn>3540325964</isbn><isbn>9783540325963</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2006</creationdate><recordtype>book_chapter</recordtype><sourceid/><recordid>eNqVjz1PwzAQQK9QJFJg4g94ZQjcxY5DxhRRsVRCgMRoOeZawoeDfC6_n1ZCgrXTG95bHsA54SUhNldEtrmurXGkJzDTtUFd1a01B1CQJSq1Nu3hn6jtFArUWJVtY_QxzETeELFq2qqAhy6qrpecfMhq6cPrEFl1acvMIW8Sq9WY1DP36pHT9xBYzb3wi5pvZFuKqPs0hh2XPvo1f3LMp3C08h_CZ788gYvF7dPNXSlfaYhrTq4fx3dxhG634_7t6H3aH2QYSlI</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Farahbod, Roozbeh</creator><creator>Glässer, Uwe</creator><creator>Vajihollahi, Mona</creator><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>2006</creationdate><title>An Abstract Machine Architecture for Web Service Based Business Process Management</title><author>Farahbod, Roozbeh ; Glässer, Uwe ; Vajihollahi, Mona</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-springer_books_10_1007_11678564_133</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2006</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Farahbod, Roozbeh</creatorcontrib><creatorcontrib>Glässer, Uwe</creatorcontrib><creatorcontrib>Vajihollahi, Mona</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Farahbod, Roozbeh</au><au>Glässer, Uwe</au><au>Vajihollahi, Mona</au><au>Haller, Armin</au><au>Bussler, Christoph J.</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>An Abstract Machine Architecture for Web Service Based Business Process Management</atitle><btitle>Business Process Management Workshops</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2006</date><risdate>2006</risdate><spage>144</spage><epage>157</epage><pages>144-157</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540325956</isbn><isbn>9783540325956</isbn><eisbn>3540325964</eisbn><eisbn>9783540325963</eisbn><abstract>We define an abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a BPEL abstract machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL abstract machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11678564_13</doi></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Business Process Management Workshops, 2006, p.144-157
issn 0302-9743
1611-3349
language eng
recordid cdi_springer_books_10_1007_11678564_13
source Springer Books
title An Abstract Machine Architecture for Web Service Based Business Process Management
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T23%3A44%3A15IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-springer&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=An%20Abstract%20Machine%20Architecture%20for%20Web%20Service%20Based%20Business%20Process%20Management&rft.btitle=Business%20Process%20Management%20Workshops&rft.au=Farahbod,%20Roozbeh&rft.date=2006&rft.spage=144&rft.epage=157&rft.pages=144-157&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540325956&rft.isbn_list=9783540325956&rft_id=info:doi/10.1007/11678564_13&rft_dat=%3Cspringer%3Espringer_books_10_1007_11678564_13%3C/springer%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540325964&rft.eisbn_list=9783540325963&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true