Coordination and mobility in CoreLime

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. AbstractMobile 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. About the authorAlexei Iliasov is a Research Associate within the School of Computing Science, Newcastle University.Alexander Romanovsky is a Research Professor. He has been involved in a number of ESPRIT, FP and EPSRC/UK projects on system dependability within which a wide range of general fault tolerance mechanisms and architectures have been developed (DSoS, PDCS, DeVa, CaberNet, MAFTIA, ReSIST, DISCS, RODIN). He has been a co-investigator of two EPSRC/UK projects (DOTS and TrAmS). Now he is coordinating a major FP7 Integrated Project DEPLOY aiming to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods in 5 sectors of European industry. His main interests are in fault tolerance, rigorous design of resilient systems, software architectures, exception handing, mobile agents and service oriented architectures. Suggested keywords FAULT TOLERANCE, FORMAL METHODS Formal development of cooperative exception handling for mobile agent systems ABSTRACTMobile agent systems often require so...

show abstract

“…We use the reactive model [18,5] for building agent roles. A reaction is an action associated with an event.…”

Section: Camamentioning

confidence: 99%

Formal development of cooperative exception handling for mobile agent systems

Laibinis

Troubitsynå

Iliasov

et al. 2008

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

show abstract

“…The mechanism of physical synchronization suffers from two limitations: (1) we cannot detect precisely the devices' meetings; (2) we can only detect meetings of devices, we cannot detect other kinds movement patterns such as separations of devices.…”

Section: Limitations Of the Physical Synchronization Mechanismmentioning

confidence: 99%

“…The first major difference between LIME and Geo-Linda is the geometric addressing mode and the lostOne operation, which LIME does not support. Moreover, according to LIME's authors and this paper [2], LIME suffers from a scalability problem with respect to the number of cooperating devices. LIME locally replicates on each device the tuple space of the connected devices.…”

Section: Related Workmentioning

confidence: 99%

Geo-Linda: a Geometry Aware Distributed Tuple Space

Pauty

Couderc²,

Banâtre³

et al. 2007

21st International Conference on Advanced Networking and Applications (AINA '07)

View full text Add to dashboard Cite

This paper presents Geo-Linda, a physically distributed tuple space. Geo-Linda targets ubiquitous computing applications involving the detection of movement patterns of objects and people, such as the meeting of two people or the insertion of a product in a shopping cart, the loading of container in a boat. . . Existing distributed tuple spaces suffer two main limitations: (1) they cannot detect precisely movement patterns, leading to inconsistencies between the state of applications and the physical world; (2) they cannot detect several kinds of movement patterns. Geo-Linda tackles these two limitations, by introducing a geometric addressing mode and two new reading operations to access the tuple space. In this paper, we illustrate Geo-Linda with several small examples and a full application.

show abstract

Agilla

Fok

Roman

2009

ACM Trans. Auton. Adapt. Syst.

150

View full text Add to dashboard Cite

This article presents Agilla, a mobile agent middleware designed to support self-adaptive applications in wireless sensor networks. Agilla provides a programming model in which applications consist of evolving communities of agents that share a wireless sensor network. Coordination among the agents and access to physical resources are supported by a tuple space abstraction. Agents can dynamically enter and exit a network and can autonomously clone and migrate themselves in response to environmental changes. Agilla's ability to support self-adaptive applications in wireless sensor networks has been demonstrated in the context of several applications, including fire detection and tracking, monitoring cargo containers, and robot navigation. Agilla, the first mobile agent system to operate in resource-constrained wireless sensor platforms, was implemented on top of TinyOS. Agilla's feasibility and efficiency was demonstrated by experimental evaluation on two physical testbeds consisting of Mica2 and TelosB nodes.

show abstract

Coordination and mobility in CoreLime

Cited by 4 publications

References 21 publications

Formal development of cooperative exception handling for mobile agent systems

Formal development of cooperative exception handling for mobile agent systems

Geo-Linda: a Geometry Aware Distributed Tuple Space

Agilla

Contact Info

Product

Resources

About