Implementing a caching service a distributed COBRA objects
IFIP/ACM International Conference on Distributed systems platforms
OceanStore: an architecture for global-scale persistent storage
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Bayou: replicated database services for world-wide applications
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
A survey of rollback-recovery protocols in message-passing systems
ACM Computing Surveys (CSUR)
Session Guarantees for Weakly Consistent Replicated Data
PDIS '94 Proceedings of the Third International Conference on Parallel and Distributed Information Systems
Fast and Low Cost Recovery Techniques for Distributed Shared Memory
PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 1
Transparent Fault Tolerance for Web Services Based Architectures
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
A Framework for Consistent, Replicated Web Objects
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Coherence-Based Coordinated Checkpointing for Software Distributed Shared Memory Systems
ICDCS '00 Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000)
FTWeb: A Fault Tolerant Infrastructure for Web Services
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
A Lightweight Fault Tolerance Framework for Web Services
WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
Communications of the ACM - Rural engineering development
SOA-Based Service Recovery Framework
WAIM '08 Proceedings of the 2008 The Ninth International Conference on Web-Age Information Management
Pastis: a highly-scalable multi-user peer-to-peer file system
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
| Hi-index | 0.00 |
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.