Design of reliable software in distributed systems using the conversation scheme
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Concurrency control and reliability in distributed systems
Concurrency control and reliability in distributed systems
A Simplification of a Conversation Design Scheme Using Petri Nets
IEEE Transactions on Software Engineering
Performance Impacts of Look-Ahead Execution in the Conversation Scheme
IEEE Transactions on Computers
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Recovery blocks in action: A system supporting high reliability
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ACM SIGOPS Operating Systems Review
On distribution of coordinated atomic actions
ACM SIGOPS Operating Systems Review
Concurrent Exception Handling and Resolution in Distributed Object Systems
IEEE Transactions on Parallel and Distributed Systems
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
Time-bounded cooperative recovery with the distributed real-time conversation scheme
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Hi-index | 0.00 |
Several different approaches for implementing conversations in message-based distributed computer systems (DCSs) are discussed. Two different exit control strategies (synchronous and asynchronous) and three different approaches to execution of the conversation acceptance test (centralized, decentralized, and semicentralized) are examined and compared in terms of system performance and implementation cost. An efficient approach to run-time management of recovery information based on an extension of the recovery cache scheme is also discussed. The two major types of conversation structures, name-linked recovery block and abstract data type conversations, are examined to analyze which execution approaches are the most efficient for each conversation structure. As a case study, an unmanned vehicle system is used to illustrate how the approaches can be used in a realistic real-time application.