Filters








257 Hits in 3.6 sec

Semantics of BPEL4WS-Like Fault and Compensation Handling [chapter]

Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially,  ...  One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners.  ...  In this paper, we studied the semantics of the fault and compensation handling in the BPEL4WS vein.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_24">doi:10.1007/11526841_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4e7xgb5zhzd2lcfkonwegdknym">fatcat:4e7xgb5zhzd2lcfkonwegdknym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060622064820/http://www.is.pku.edu.cn:80/~fmows/papers/bpel_semantics.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b9/4c/b94c3e529419da2d15c47d10fd2a58f335c61040.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Formal Verification of BPEL4WS Business Collaborations [chapter]

Jesús Arias Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we describe the general architecture of VERBUS and how BPEL4WS specifications are translated and verified.  ...  The prototype of VERBUS presented in this work can verify BPEL4WS process specifications, by translating them to Promela.  ...  Acknowledgements This work is partially supported by the Spanish Science and Technology Ministry, in the project TIC2003-07208 "Infoflex".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30077-9_8">doi:10.1007/978-3-540-30077-9_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zyu46kbuavduxkfsveoocrd7ku">fatcat:zyu46kbuavduxkfsveoocrd7ku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705061124/http://cliplab.org/Projects/S-CUBE/papers/arias2004:verif_BPEL4WS.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a5/43/a5431ff0bc52653d6f32863f7571aff94bc9e0e6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30077-9_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards the Semantics and Verification of BPEL4WS

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We propose a language μ-BPEL that includes most primitive and structured activities of BPEL4WS, and define its semantics.  ...  In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition and orchestration.  ...  He Jifeng for helpful discussions and suggestions for the improvement of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.07.035">doi:10.1016/j.entcs.2005.07.035</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yj33wazhzjhw5jakd5xl2cck74">fatcat:yj33wazhzjhw5jakd5xl2cck74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190313183510/https://core.ac.uk/download/pdf/82241094.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/47/fc/47fc71a6dd942f93a7206d784a83d1af0a4ce85f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.07.035"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Meta workflows as a control and coordination mechanism for exception handling in workflow systems

Akhil Kumar, Jacques Wainer
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/md2ierut4nak5ociupgnvel2oa" style="color: black;">Decision Support Systems</a> </i> &nbsp;
The paper gives an architecture for incorporating it into existing workflows and also provides a formal semantics of execution.  ...  A higher level control and coordination mechanism is required for exception handling in workflow systems.  ...  The strengths of BPEL4WS lie in formal notions of different types of handlers for events, compensation and faults. ESP does not make such a distinction and treats all handlers in the same way.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.dss.2004.04.006">doi:10.1016/j.dss.2004.04.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wle776ioinhurerkiio3vwzgay">fatcat:wle776ioinhurerkiio3vwzgay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811081348/http://ic.unicamp.br/~wainer/papers/ds05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/83/ba/83baa7e50caa6b211fcaf9b41f9ccf6ff58474ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.dss.2004.04.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

From BPEL4WS to OWL-S: integrating e-business process descriptions

J. Shen, Y. Yang, Chuan Zhu, C. Wan
<span title="">2005</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5etdl6iwengojcucbboasbklty" style="color: black;">2005 IEEE International Conference on Services Computing (SCC&#39;05) Vol-1</a> </i> &nbsp;
With the rapid deployment of e-services, many workflow-like e-business process definition languages come into existence.  ...  Therefore, we design and develop an innovative mapping tool to translate BPEL4WS (Business Process Execution Language for Web Services) to OWL-S.  ...  and No.60273043.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2005.54">doi:10.1109/scc.2005.54</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEscc/ShenYWZ05.html">dblp:conf/IEEEscc/ShenYWZ05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5zjyk2x7wrf5lme2jjuhjuhxp4">fatcat:5zjyk2x7wrf5lme2jjuhjuhxp4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200309073002/https://researchbank.swinburne.edu.au/file/0cdf1ef1-efd9-4c8c-b1cd-5ffcf8427fee/1/PDF%20(Published%20version).pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c2/3f/c23f5e6c206e8002a59276cdbaa41a194cff1ee4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2005.54"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service [chapter]

Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The operational semantics of BPEL0 is formalized, with some key concepts related to compensation handling, i.e., the compensation closure and compensation context.  ...  In this paper, we propose a language BPEL0 to capture the important features of BPEL4WS, with the scope-based compensation handling mechanism, which allow the users to specify the compensation behaviors  ...  Mazzara et al. suggested to merge the fault and compensation handling into a general framework of even handling [14] , and presented an operational semantics for their CCS-like language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11768869_19">doi:10.1007/11768869_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4ookfpq4fvf5tobleisobgbajm">fatcat:4ookfpq4fvf5tobleisobgbajm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503112839/https://link.springer.com/content/pdf/10.1007%2F11768869_19.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dd/70/dd70ed5af7b304810fb0ae3ef90147bd61b4f209.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11768869_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verifying BPEL-like programs with Hoare logic

Chenguang Luo, Shengchao Qin, Zongyan Qiu
<span title="">2008</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lejplxv3urh7tijuaocipilkde" style="color: black;">Frontiers of Computer Science in China</a> </i> &nbsp;
We propose a set of proof rules in Hoare-logic style as an axiomatic verification system for a BPEL-like core language containing key features such as data states, fault and compensation handling.  ...  One of its essential features is the fully programmable compensation mechanism. To understand it better, many recent works have mainly focused on formal semantic models for WS-BPEL.  ...  This work is supported by UK EPSRC project EP/E021948/1 and China NNSF project 60773161.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11704-008-0039-2">doi:10.1007/s11704-008-0039-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lghseqnuurdd3d6nq77ysty5jq">fatcat:lghseqnuurdd3d6nq77ysty5jq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171117164658/https://core.ac.uk/download/pdf/265021.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/29/1c292f6df618082450322a254f7f2325f2b8b72f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11704-008-0039-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Verifying BPEL-Like Programs with Hoare Logic

Chenguang Luo, Shengchao Qin, Zongyan Qiu
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/odq6tmqem5eejcrghqkhs5spt4" style="color: black;">2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering</a> </i> &nbsp;
We propose a set of proof rules in Hoare-logic style as an axiomatic verification system for a BPEL-like core language containing key features such as data states, fault and compensation handling.  ...  One of its essential features is the fully programmable compensation mechanism. To understand it better, many recent works have mainly focused on formal semantic models for WS-BPEL.  ...  EP/E021948/1) and China National Natural Science Fundation (Grant No. 60773161).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tase.2008.41">doi:10.1109/tase.2008.41</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/tase/LuoQQ08.html">dblp:conf/tase/LuoQQ08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3d66sipgs5cj3je5k3k4qc5l4u">fatcat:3d66sipgs5cj3je5k3k4qc5l4u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401073543/http://www.dur.ac.uk/shengchao.qin/papers/FCS08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/26/93/2693bf032b88259ccb2c375e736c8b0b4f435861.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tase.2008.41"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Assertional Reasoning for Concurrent and Communicating BPEL-like Programs

Longfei Zhu, Qiwen Xu, Huibiao Zhu
<span title="2018-09-26">2018</span> <i title="PTI"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zbznsfsymfchdlmdsmo2bglth4" style="color: black;">Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems</a> </i> &nbsp;
and fault handling, to cover all major features of BPEL.  ...  This paper studies verification of programs similar to BPEL4WS (BPEL), the latter being a de facto standard for the web services composition and orchestration.  ...  and fault handling, to cover all major features of BPEL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15439/2018f148">doi:10.15439/2018f148</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fedcsis/ZhuXZ18.html">dblp:conf/fedcsis/ZhuXZ18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3tjsc3kvzvcv3e3lavkssmkbsm">fatcat:3tjsc3kvzvcv3e3lavkssmkbsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428171255/https://annals-csis.org/proceedings/2018/drp/pdf/148.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/87/b687e5607962fbbd9c40f928751907a259f9c89c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15439/2018f148"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Analyzing interacting WS-BPEL processes using flexible model generation

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ueo4clepdnbdzhqnuojj57edri" style="color: black;">Data &amp; Knowledge Engineering</a> </i> &nbsp;
On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly  ...  We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model.  ...  The translation is based on a modified version of our old semantics in [12] and does not include most of the fault and compensation handling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.datak.2007.06.006">doi:10.1016/j.datak.2007.06.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ybhlupnvsjdxlcxvplshdhuhqu">fatcat:ybhlupnvsjdxlcxvplshdhuhqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813031635/http://www.win.tue.nl/~cstahl/Papers/LohmannMSW2008_dke.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/53/d2/53d2408fe747cca605609a0fc791db136add4901.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.datak.2007.06.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Multiagent systems with workflows

J.M. Vidal, P. Buhler, C. Stahl
<span title="">2004</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2h6c7f443bcifjjexhfn5p65om" style="color: black;">IEEE Internet Computing</a> </i> &nbsp;
Industry and researchers have two different visions for the future of Web services.  ...  Researchers are interested in the dynamic composition of Web services. The authors show how these two visions are points in a continuum and discuss a possible path for bridging the gap between them.  ...  Acknowledgments The US National Science Foundation funded part of this work under grant 0092593.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mic.2004.1260707">doi:10.1109/mic.2004.1260707</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iv6tzflev5h2pj6p5tx4vebslm">fatcat:iv6tzflev5h2pj6p5tx4vebslm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120714033615/http://www2.informatik.hu-berlin.de/top/download/publications/VidalBS2004_iic81.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/eb/a6/eba6fc22d4d640bd8697d574dae3634dfd36eaab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mic.2004.1260707"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Compatibility verification for Web service choreography

H. Foster, S. Uchitel, J. Magee, J. Kramer
<span title="">2004</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v5fagqotxjcn3jsjkqi336dzse" style="color: black;">Proceedings. IEEE International Conference on Web Services, 2004.</a> </i> &nbsp;
The approach uses finite state machine representations of web service orchestrations and assigns semantics to the distributed process interactions.  ...  The described approach is supported by a suite of cooperating tools for specification, formal modeling and providing verification results from orchestrated web service interactions.  ...  The authors would like to acknowledge that this research was supported, in part, by the STATUS ESPIRIT project (IST-2001-32298), the EPSRC READS project (GR/S03270/01) and by an IBM Innovation Award (2004  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2004.1314806">doi:10.1109/icws.2004.1314806</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icws/FosterUMK04.html">dblp:conf/icws/FosterUMK04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rdakpqjkrrf7bd5mpykzfgijz4">fatcat:rdakpqjkrrf7bd5mpykzfgijz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050817175046/http://www.doc.ic.ac.uk:80/~hf1/phd/papers/compatibilityforchoreography-icws2004.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0c/f1/0cf13c484afb44a0a938ebf1fcba9dd86bd05ec2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icws.2004.1314806"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Modelling and verifying web service orchestration by means of the concurrency workbench

Mariya Koshkina, Franck van Breugel
<span title="2004-09-01">2004</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpdbg2rpfjembkahly4z4ea5hq" style="color: black;">Software engineering notes</a> </i> &nbsp;
Both the syntax and the semantics of the BPE-calculus are formally defined. These are subsequently used as input for the PAC.  ...  Verification techniques like model checking, preorder checking and equivalence checking are shown to be relevant to web service orchestration.  ...  ACKNOWLEDGEMENTS The authors would like to thank Jon Bennett, Rance Cleaveland, Bill O'Farrell, Parke Godfrey, Yves Lesperance, Fatima Ashfaq Ramay and the referees.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1022494.1022526">doi:10.1145/1022494.1022526</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nycz2wm5jjgavhfedaub7wqf7q">fatcat:nycz2wm5jjgavhfedaub7wqf7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811102022/http://cliplab.org/Projects/S-CUBE/papers/kosh04:mod-verif-ws-orch.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/a4/4ba431b3daef4237586ca82679340cf9055ffc9b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1022494.1022526"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Decentralized orchestration of composite web services

Girish B. Chafle, Sunil Chandra, Vijay Mann, Mangala Gowri Nanda
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4hirppq3jalbopssw22crbwwa" style="color: black;">Proceedings of the 13th international World Wide Web conference on Alternate track papers &amp; posters - WWW Alt. &#39;04</a> </i> &nbsp;
However, decentralized orchestration also brings additional complexity to the system in terms of error recovery and fault handling.  ...  A composite web service is one that is built using multiple component web services and is typically specified using a language such as BPEL4WS or WSIPL.  ...  BPEL4WS provides a mechanism to explicitly catch errors and handle them by executing subroutines specified in fault handler elements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1013367.1013390">doi:10.1145/1013367.1013390</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/www/ChafleCMN04.html">dblp:conf/www/ChafleCMN04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3vd3ksvx2vcbxkhulqc25ub5su">fatcat:3vd3ksvx2vcbxkhulqc25ub5su</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061230121131/http://www.www2004.org:80/proceedings/docs/2p134.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/e8/f7e8b4c0767675316e75c6c751e884e5169dc67b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1013367.1013390"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Decentralized orchestration of composite web services

Girish B. Chafle, Sunil Chandra, Vijay Mann, Mangala Gowri Nanda
<span title="">2004</span> <i title="ACM Press"> Alternate track papers &amp; posters of the 13th international conference on World Wide Web - WWW Alt. &#39;04 </i> &nbsp;
However, decentralized orchestration also brings additional complexity to the system in terms of error recovery and fault handling.  ...  A composite web service is one that is built using multiple component web services and is typically specified using a language such as BPEL4WS or WSIPL.  ...  BPEL4WS provides a mechanism to explicitly catch errors and handle them by executing subroutines specified in fault handler elements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1010432.1010455">doi:10.1145/1010432.1010455</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qm55kyddofdfhoxa4mgcbwertm">fatcat:qm55kyddofdfhoxa4mgcbwertm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20061230121131/http://www.www2004.org:80/proceedings/docs/2p134.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/e8/f7e8b4c0767675316e75c6c751e884e5169dc67b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1010432.1010455"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 257 results