Consistency guarantees for recovery of service-oriented distributed processing

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.

[1]  Francis G. McCabe,et al.  Reference Model for Service Oriented Architecture 1.0 , 2006 .

[2]  Michael Luck,et al.  Transparent Fault Tolerance for Web Services Based Architectures , 2002, Euro-Par.

[3]  Werner Vogels,et al.  Building reliable distributed systems at a worldwide scale demands trade-offs between consistency and availability. , 2022 .

[4]  Mukesh Singhal,et al.  Using logging and asynchronous checkpointing to implement recoverable distributed shared memory , 1993, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems.

[5]  Pierre Sens,et al.  Pastis: A Highly-Scalable Multi-user Peer-to-Peer File System , 2005, Euro-Par.

[6]  Ben Y. Zhao,et al.  OceanStore: an architecture for global-scale persistent storage , 2000, SIGP.

[7]  Jerzy Brzezinski,et al.  Fast and Low Cost Recovery Techniques for Distributed Shared Memory , 2002, PDPTA.

[8]  Marvin Theimer,et al.  Session guarantees for weakly consistent replicated data , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[9]  Wenbing Zhao,et al.  A lightweight fault tolerance framework for Web services , 2009, Web Intell. Agent Syst..

[10]  Marvin Theimer,et al.  Bayou: replicated database services for world-wide applications , 1996, EW 7.

[11]  Nian-Feng Tzeng,et al.  Coherence-based coordinated checkpointing for software distributed shared memory systems , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

[12]  Anne-Marie Kermarrec,et al.  A framework for consistent, replicated Web objects , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[13]  Lau Cheuk Lung,et al.  FTWeb: a fault tolerant infrastructure for Web services , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).