Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal development of cooperative exception handling for mobile agent systems

Lookup NU author(s): Dr Elena Troubitsyna, Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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. Copyright 2008 ACM.

Publication metadata

Author(s): Laibinis L, Troubitsyna E, Iliasov A, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE)

Year of Conference: 2008

Pages: 39-48

Publisher: ACM Press


DOI: 10.1145/1479772.1479779

Library holdings: Search Newcastle University Library for this item

ISBN: 9781605582757