Dynamic Error Handling in Service Oriented Applications

Issue title: Application of Concurrency to System Design

Article type: Research Article

Authors: Guidi, Claudio | Lanese, Ivan | Montesi, Fabrizio | Zavattaro, Gianluigi

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

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.

DOI: 10.3233/FI-2009-143

Journal: Fundamenta Informaticae, vol. 95, no. 1, pp. 73-102, 2009