Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis

The Business Process Execution Language for Web Services WS-BPEL provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processe...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Moser, S., Martens, A., Gorlach, K., Amme, W., Godlinski, A.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Aggregates
Application software
Controllability
Data analysis
Data mining
Debugging
Formal verification
Protocols
Testing
Web services
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 105
container_issue
container_start_page 98
container_title
container_volume
creator Moser, S.
Martens, A.
Gorlach, K.
Amme, W.
Godlinski, A.
description The Business Process Execution Language for Web Services WS-BPEL provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processes and compose them. Verifying such distributed web service based systems has been a huge topic in the research community lately-cf. [4]for a good overview. However, in most of the work on analyzing properties of interacting Web Services, especially when backed by stateful implementations like WS-BPEL, the data flow present in the implementation is widely neglected, and the analysis focusses on control flow only. This might lead to false-positive analysis results when searching for design weaknesses and errors, e. g. analyzing the controllability [14] of a given BPEL process. In this paper, we present a method to extract dataflow information by constructing a CSSA representation and detecting data dependencies that effect communication behavior. Those discovered dependencies are used to construct a more precise formal model of the given BPEL process and hence to improve the quality of analysis results.
doi_str_mv 10.1109/SCC.2007.22
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4278643</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4278643</ieee_id><sourcerecordid>4278643</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-f7b291fc1525ab97436bd7dc77c4347dfb0e123e1fd730f6a6fccb72efaea8d3</originalsourceid><addsrcrecordid>eNotjMtKw0AYRgdEUGpWLt3MC6TOJZM_s0zTVgsBCym6LHOV0ZiUmVTp2xvQb3MWH-cgdE_JklIiH7umWTJCYMnYFcokVARKKZhkAm5QltIHmcdlKYi8RZ-1_VaDcRa_uhh8MGoK44BHj9chTTHo8zR_b12-2m9avDqnMLiU8D6OZqZLeDeYMZ7GOHvDO266rs61SrOzVpPC2378wfWg-ksK6Q5de9Unl_1zgQ7bzaF5ztuXp11Tt3mgIKbcg2aSekMFE0pLKHipLVgDYApegPWaOMq4o94CJ75UpTdGA3NeOVVZvkAPf9ngnDueYvhS8XIsGFRlwfkv2ihWuw</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Moser, S. ; Martens, A. ; Gorlach, K. ; Amme, W. ; Godlinski, A.</creator><creatorcontrib>Moser, S. ; Martens, A. ; Gorlach, K. ; Amme, W. ; Godlinski, A.</creatorcontrib><description>The Business Process Execution Language for Web Services WS-BPEL provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processes and compose them. Verifying such distributed web service based systems has been a huge topic in the research community lately-cf. [4]for a good overview. However, in most of the work on analyzing properties of interacting Web Services, especially when backed by stateful implementations like WS-BPEL, the data flow present in the implementation is widely neglected, and the analysis focusses on control flow only. This might lead to false-positive analysis results when searching for design weaknesses and errors, e. g. analyzing the controllability [14] of a given BPEL process. In this paper, we present a method to extract dataflow information by constructing a CSSA representation and detecting data dependencies that effect communication behavior. Those discovered dependencies are used to construct a more precise formal model of the given BPEL process and hence to improve the quality of analysis results.</description><identifier>ISBN: 9780769529257</identifier><identifier>ISBN: 0769529259</identifier><identifier>DOI: 10.1109/SCC.2007.22</identifier><language>eng</language><publisher>IEEE</publisher><subject>Aggregates ; Application software ; Controllability ; Data analysis ; Data mining ; Debugging ; Formal verification ; Protocols ; Testing ; Web services</subject><ispartof>IEEE International Conference on Services Computing (SCC 2007), 2007, p.98-105</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4278643$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2051,27904,54898</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4278643$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Moser, S.</creatorcontrib><creatorcontrib>Martens, A.</creatorcontrib><creatorcontrib>Gorlach, K.</creatorcontrib><creatorcontrib>Amme, W.</creatorcontrib><creatorcontrib>Godlinski, A.</creatorcontrib><title>Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis</title><title>IEEE International Conference on Services Computing (SCC 2007)</title><addtitle>SCC</addtitle><description>The Business Process Execution Language for Web Services WS-BPEL provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processes and compose them. Verifying such distributed web service based systems has been a huge topic in the research community lately-cf. [4]for a good overview. However, in most of the work on analyzing properties of interacting Web Services, especially when backed by stateful implementations like WS-BPEL, the data flow present in the implementation is widely neglected, and the analysis focusses on control flow only. This might lead to false-positive analysis results when searching for design weaknesses and errors, e. g. analyzing the controllability [14] of a given BPEL process. In this paper, we present a method to extract dataflow information by constructing a CSSA representation and detecting data dependencies that effect communication behavior. Those discovered dependencies are used to construct a more precise formal model of the given BPEL process and hence to improve the quality of analysis results.</description><subject>Aggregates</subject><subject>Application software</subject><subject>Controllability</subject><subject>Data analysis</subject><subject>Data mining</subject><subject>Debugging</subject><subject>Formal verification</subject><subject>Protocols</subject><subject>Testing</subject><subject>Web services</subject><isbn>9780769529257</isbn><isbn>0769529259</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2007</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjMtKw0AYRgdEUGpWLt3MC6TOJZM_s0zTVgsBCym6LHOV0ZiUmVTp2xvQb3MWH-cgdE_JklIiH7umWTJCYMnYFcokVARKKZhkAm5QltIHmcdlKYi8RZ-1_VaDcRa_uhh8MGoK44BHj9chTTHo8zR_b12-2m9avDqnMLiU8D6OZqZLeDeYMZ7GOHvDO266rs61SrOzVpPC2378wfWg-ksK6Q5de9Unl_1zgQ7bzaF5ztuXp11Tt3mgIKbcg2aSekMFE0pLKHipLVgDYApegPWaOMq4o94CJ75UpTdGA3NeOVVZvkAPf9ngnDueYvhS8XIsGFRlwfkv2ihWuw</recordid><startdate>200707</startdate><enddate>200707</enddate><creator>Moser, S.</creator><creator>Martens, A.</creator><creator>Gorlach, K.</creator><creator>Amme, W.</creator><creator>Godlinski, A.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200707</creationdate><title>Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis</title><author>Moser, S. ; Martens, A. ; Gorlach, K. ; Amme, W. ; Godlinski, A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-f7b291fc1525ab97436bd7dc77c4347dfb0e123e1fd730f6a6fccb72efaea8d3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Aggregates</topic><topic>Application software</topic><topic>Controllability</topic><topic>Data analysis</topic><topic>Data mining</topic><topic>Debugging</topic><topic>Formal verification</topic><topic>Protocols</topic><topic>Testing</topic><topic>Web services</topic><toplevel>online_resources</toplevel><creatorcontrib>Moser, S.</creatorcontrib><creatorcontrib>Martens, A.</creatorcontrib><creatorcontrib>Gorlach, K.</creatorcontrib><creatorcontrib>Amme, W.</creatorcontrib><creatorcontrib>Godlinski, A.</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>Moser, S.</au><au>Martens, A.</au><au>Gorlach, K.</au><au>Amme, W.</au><au>Godlinski, A.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis</atitle><btitle>IEEE International Conference on Services Computing (SCC 2007)</btitle><stitle>SCC</stitle><date>2007-07</date><risdate>2007</risdate><spage>98</spage><epage>105</epage><pages>98-105</pages><isbn>9780769529257</isbn><isbn>0769529259</isbn><abstract>The Business Process Execution Language for Web Services WS-BPEL provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their provided functionality as BPEL processes and compose them. Verifying such distributed web service based systems has been a huge topic in the research community lately-cf. [4]for a good overview. However, in most of the work on analyzing properties of interacting Web Services, especially when backed by stateful implementations like WS-BPEL, the data flow present in the implementation is widely neglected, and the analysis focusses on control flow only. This might lead to false-positive analysis results when searching for design weaknesses and errors, e. g. analyzing the controllability [14] of a given BPEL process. In this paper, we present a method to extract dataflow information by constructing a CSSA representation and detecting data dependencies that effect communication behavior. Those discovered dependencies are used to construct a more precise formal model of the given BPEL process and hence to improve the quality of analysis results.</abstract><pub>IEEE</pub><doi>10.1109/SCC.2007.22</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9780769529257
ispartof IEEE International Conference on Services Computing (SCC 2007), 2007, p.98-105
issn
language eng
recordid cdi_ieee_primary_4278643
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Aggregates
Application software
Controllability
Data analysis
Data mining
Debugging
Formal verification
Protocols
Testing
Web services
title Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T04%3A39%3A26IST&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=Advanced%20Verification%20of%20Distributed%20WS-BPEL%20Business%20Processes%20Incorporating%20CSSA-based%20Data%20Flow%20Analysis&rft.btitle=IEEE%20International%20Conference%20on%20Services%20Computing%20(SCC%202007)&rft.au=Moser,%20S.&rft.date=2007-07&rft.spage=98&rft.epage=105&rft.pages=98-105&rft.isbn=9780769529257&rft.isbn_list=0769529259&rft_id=info:doi/10.1109/SCC.2007.22&rft_dat=%3Cieee_6IE%3E4278643%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=4278643&rfr_iscdi=true