Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Proceedings of the 21st international conference on Software engineering
Concurrent Exception Handling and Resolution in Distributed Object Systems
IEEE Transactions on Parallel and Distributed Systems
Exception handling: issues and a proposed notation
Communications of the ACM
Exception handling in agent-oriented systems
Advances in exception handling techniques
A Dynamic Shadow Approach for Mobile Agents to Survive Crash Failures
ISORC '03 Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Coordination and mobility in CoreLime
Mathematical Structures in Computer Science
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Exception Handling in Coordination-Based Mobile Environments
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Structured coordination spaces for fault tolerant mobile agents
Advanced Topics in Exception Handling Techniques
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
| Hi-index | 0.00 |
Mobile agent systems often require sophisticated cooperation and coordination during error detection and recovery. In this paper we propose novel fault tolerance mechanisms that support co-operative exception handling in such systems. The paper demonstrates how mechanisms like these can be formally developed and analysed. We start with identifying the typical modes of failures in agents and analysing possible failure and recovery scenarios in mobile systems. Stepwise refinement is used as our formal framework for top-down development and verification. Using the framework we formally verify the essential model properties, such as interoperability, local and global state consistency and termination of error recovery. Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems. We also demonstrate how the results of our formal development can be instantiated and reused in developing real-world agent software.