Title: Consistency guarantees for recovery of service-oriented distributed processing

Authors: Jerzy Brzeziński; Arkadiusz Danilecki; Anna Kobusińska; Michał Szychowiak

Addresses: Institute of Computing Science, Poznan University of Technology, ul. Piotrowo 2, 60-965 Poznan, Poland ' Institute of Computing Science, Poznan University of Technology, ul. Piotrowo 2, 60-965 Poznan, Poland ' Institute of Computing Science, Poznan University of Technology, ul. Piotrowo 2, 60-965 Poznan, Poland ' Institute of Computing Science, Poznan University of Technology, ul. Piotrowo 2, 60-965 Poznan, Poland

Abstract: One of the key problems of building complex service-oriented distributed applications is reliability of the processing despite possible failures of interacting entities. Some attempts to solve this problem have been proposed, including interaction compensation, service replication or rollback-recovery, among others. Yet, only the last one promises to develop mechanisms allowing automatic restoration of a consistent processing state, fully masking the failure occurrence. Unfortunately, the notion of consistent state is ambiguous and has not been formalised in the context of the service-oriented architecture (SOA). In this paper we propose formal definitions of contract guarantees and demonstrate that they can be successfully used to flexibly define consistency models for recoverable SOA applications.

Keywords: service-oriented architecture; recoverable SOA; reliability; fault tolerance; distributed processing; rollback recovery; consistency; contract guarantees; processing reliability; automatic restoration; failure occurrence.

DOI: 10.1504/IJIIDS.2013.053548

International Journal of Intelligent Information and Database Systems, 2013 Vol.7 No.2, pp.148 - 162

Received: 12 Dec 2011
Accepted: 21 Jun 2012

Published online: 31 Mar 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article