Analyzing Compatibility of BPEL Processes
The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services - backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL process...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 147 |
|---|---|
| container_issue | |
| container_start_page | 147 |
| container_title | |
| container_volume | |
| creator | Martens, A. Moser, S. Gerhardt, A. Funk, K. |
| description | The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services - backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL processes is still a complicated, time and money consuming, and errorprone activity. Formal methods like Petri nets enable the effective analysis of one single BPEL process as well as the comparison of multiple given BPEL models, and the generation of a BPEL model out of another. The current paper presents an prototypically implemented analysis framework that integrates those methods into IBM's business integration tools. The value of such a framework is illustrated by analyzing behavioral compatibility between BPEL processes, one of the most crucial properties in real-world B2B scenarios. |
| doi_str_mv | 10.1109/AICT-ICIW.2006.48 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1602280</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1602280</ieee_id><sourcerecordid>1602280</sourcerecordid><originalsourceid>FETCH-LOGICAL-c138t-926a9e8678708b3308548226f651bc5a554f5c43786cef9031228e4306836a193</originalsourceid><addsrcrecordid>eNotjk1LxDAUAAMiKGt_gHjp1UPry9fLy7GWVQsF97DicUlDIpHudml6qb_eBT3NZRiGsXsONedgn5qu3Vdd233WAgBrRVessIbAoNVCC0E3rMj5GwC4RTJK37LH5uTG9Sedvsp2Op7dkoY0pmUtp1g-77Z9uZsnH3IO-Y5dRzfmUPxzwz5etvv2rerfX7u26SvPJS2VFehsIDRkgAYpgbQiITCi5oPXTmsVtVfSEPoQLUh--QpKApJEx63csIe_bgohHM5zOrp5PXCEiwfyF9-tPeE</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Analyzing Compatibility of BPEL Processes</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Martens, A. ; Moser, S. ; Gerhardt, A. ; Funk, K.</creator><creatorcontrib>Martens, A. ; Moser, S. ; Gerhardt, A. ; Funk, K.</creatorcontrib><description>The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services - backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL processes is still a complicated, time and money consuming, and errorprone activity. Formal methods like Petri nets enable the effective analysis of one single BPEL process as well as the comparison of multiple given BPEL models, and the generation of a BPEL model out of another. The current paper presents an prototypically implemented analysis framework that integrates those methods into IBM's business integration tools. The value of such a framework is illustrated by analyzing behavioral compatibility between BPEL processes, one of the most crucial properties in real-world B2B scenarios.</description><identifier>ISBN: 9780769525228</identifier><identifier>ISBN: 0769525229</identifier><identifier>DOI: 10.1109/AICT-ICIW.2006.48</identifier><language>eng</language><publisher>IEEE</publisher><subject>Aggregates ; Asynchronous transfer mode ; Behavioral Compatibility ; BPEL4WS ; BPM ; Companies ; Filling ; Petri nets ; Prototypes ; Runtime environment ; Software tools ; Switches ; Tool based Verification ; Web Service ; Web services</subject><ispartof>Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006, p.147-147</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c138t-926a9e8678708b3308548226f651bc5a554f5c43786cef9031228e4306836a193</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1602280$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,778,782,787,788,2054,4038,4039,27908,54903</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1602280$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Martens, A.</creatorcontrib><creatorcontrib>Moser, S.</creatorcontrib><creatorcontrib>Gerhardt, A.</creatorcontrib><creatorcontrib>Funk, K.</creatorcontrib><title>Analyzing Compatibility of BPEL Processes</title><title>Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)</title><addtitle>AICT</addtitle><description>The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services - backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL processes is still a complicated, time and money consuming, and errorprone activity. Formal methods like Petri nets enable the effective analysis of one single BPEL process as well as the comparison of multiple given BPEL models, and the generation of a BPEL model out of another. The current paper presents an prototypically implemented analysis framework that integrates those methods into IBM's business integration tools. The value of such a framework is illustrated by analyzing behavioral compatibility between BPEL processes, one of the most crucial properties in real-world B2B scenarios.</description><subject>Aggregates</subject><subject>Asynchronous transfer mode</subject><subject>Behavioral Compatibility</subject><subject>BPEL4WS</subject><subject>BPM</subject><subject>Companies</subject><subject>Filling</subject><subject>Petri nets</subject><subject>Prototypes</subject><subject>Runtime environment</subject><subject>Software tools</subject><subject>Switches</subject><subject>Tool based Verification</subject><subject>Web Service</subject><subject>Web services</subject><isbn>9780769525228</isbn><isbn>0769525229</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjk1LxDAUAAMiKGt_gHjp1UPry9fLy7GWVQsF97DicUlDIpHudml6qb_eBT3NZRiGsXsONedgn5qu3Vdd233WAgBrRVessIbAoNVCC0E3rMj5GwC4RTJK37LH5uTG9Sedvsp2Op7dkoY0pmUtp1g-77Z9uZsnH3IO-Y5dRzfmUPxzwz5etvv2rerfX7u26SvPJS2VFehsIDRkgAYpgbQiITCi5oPXTmsVtVfSEPoQLUh--QpKApJEx63csIe_bgohHM5zOrp5PXCEiwfyF9-tPeE</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Martens, A.</creator><creator>Moser, S.</creator><creator>Gerhardt, A.</creator><creator>Funk, K.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2006</creationdate><title>Analyzing Compatibility of BPEL Processes</title><author>Martens, A. ; Moser, S. ; Gerhardt, A. ; Funk, K.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c138t-926a9e8678708b3308548226f651bc5a554f5c43786cef9031228e4306836a193</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Aggregates</topic><topic>Asynchronous transfer mode</topic><topic>Behavioral Compatibility</topic><topic>BPEL4WS</topic><topic>BPM</topic><topic>Companies</topic><topic>Filling</topic><topic>Petri nets</topic><topic>Prototypes</topic><topic>Runtime environment</topic><topic>Software tools</topic><topic>Switches</topic><topic>Tool based Verification</topic><topic>Web Service</topic><topic>Web services</topic><toplevel>online_resources</toplevel><creatorcontrib>Martens, A.</creatorcontrib><creatorcontrib>Moser, S.</creatorcontrib><creatorcontrib>Gerhardt, A.</creatorcontrib><creatorcontrib>Funk, K.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Martens, A.</au><au>Moser, S.</au><au>Gerhardt, A.</au><au>Funk, K.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Analyzing Compatibility of BPEL Processes</atitle><btitle>Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)</btitle><stitle>AICT</stitle><date>2006</date><risdate>2006</risdate><spage>147</spage><epage>147</epage><pages>147-147</pages><isbn>9780769525228</isbn><isbn>0769525229</isbn><abstract>The Business Process Execution Language for Web Services provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services - backed by various development and runtime environments of major software companies. Nevertheless, modeling and composing BPEL processes is still a complicated, time and money consuming, and errorprone activity. Formal methods like Petri nets enable the effective analysis of one single BPEL process as well as the comparison of multiple given BPEL models, and the generation of a BPEL model out of another. The current paper presents an prototypically implemented analysis framework that integrates those methods into IBM's business integration tools. The value of such a framework is illustrated by analyzing behavioral compatibility between BPEL processes, one of the most crucial properties in real-world B2B scenarios.</abstract><pub>IEEE</pub><doi>10.1109/AICT-ICIW.2006.48</doi><tpages>1</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780769525228 |
| ispartof | Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006, p.147-147 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_1602280 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Aggregates Asynchronous transfer mode Behavioral Compatibility BPEL4WS BPM Companies Filling Petri nets Prototypes Runtime environment Software tools Switches Tool based Verification Web Service Web services |
| title | Analyzing Compatibility of BPEL Processes |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-17T06%3A51%3A31IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Analyzing%20Compatibility%20of%20BPEL%20Processes&rft.btitle=Advanced%20Int'l%20Conference%20on%20Telecommunications%20and%20Int'l%20Conference%20on%20Internet%20and%20Web%20Applications%20and%20Services%20(AICT-ICIW'06)&rft.au=Martens,%20A.&rft.date=2006&rft.spage=147&rft.epage=147&rft.pages=147-147&rft.isbn=9780769525228&rft.isbn_list=0769525229&rft_id=info:doi/10.1109/AICT-ICIW.2006.48&rft_dat=%3Cieee_6IE%3E1602280%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1602280&rfr_iscdi=true |