Dynamic Error Handling in Service Oriented Applications

  • Authors:

  • Claudio Guidi;Ivan Lanese;Fabrizio Montesi;Gianluigi Zavattaro

  • Affiliations:

  • Computer Science Department, University of Bologna, Mura A. Zamboni, 7, 40127 Bologna, Italy. E-mail: {cguidi,lanese,fmontesi,zavattar}@cs.unibo.it;Computer Science Department, University of Bologna, Mura A. Zamboni, 7, 40127 Bologna, Italy. E-mail: {cguidi,lanese,fmontesi,zavattar}@cs.unibo.it;Computer Science Department, University of Bologna, Mura A. Zamboni, 7, 40127 Bologna, Italy. E-mail: {cguidi,lanese,fmontesi,zavattar}@cs.unibo.it;Computer Science Department, University of Bologna, Mura A. Zamboni, 7, 40127 Bologna, Italy. E-mail: {cguidi,lanese,fmontesi,zavattar}@cs.unibo.it

  • Venue:
  • Fundamenta Informaticae - Application of Concurrency to System Design
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.