Dynamic Error Handling in Service Oriented Applications

Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro [2009].
In Fundam. Informaticae 95.

Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional one-way or bidirectional request-response communication patterns. Most service orchestration languages proposed so far provide also primitives for error handling based on fault, termination, and compensation handlers. Our work is motivated by the difficulties encountered in programming some error handling strategies using current error handling primitives. We propose as a solution an orchestration programming style in which handlers are dynamically installed. We assess our proposal by formalizing our approach as an extension of the process calculus SOCK and by proving that our formalization satisfies some expected high-level properties.
Additional notes
Cite (BibTeX)
Click to expand
  author       = {Claudio Guidi and
                  Ivan Lanese and
                  Fabrizio Montesi and
                  Gianluigi Zavattaro},
  title        = {Dynamic Error Handling in Service Oriented Applications},
  journal      = {Fundam. Informaticae},
  volume       = {95},
  number       = {1},
  pages        = {73--102},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-143},
  doi          = {10.3233/FI-2009-143},
  timestamp    = {Fri, 18 Sep 2020 11:16:17 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GuidiLMZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}

A PDF is available (possibly a preprint):

Download PDF