A Software Platform for Timed Mobility and Timed Interaction

Authors:
Gabriel Ciobanu;Călin Juravle
Affiliations:
Institute of Computer Science, Romanian Academy, Iaşi "A.I.Cuza" University of Iaşi, Romania;Institute of Computer Science, Romanian Academy, Iaşi "A.I.Cuza" University of Iaşi, Romania
Venue:
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Year:
2009

Citing 7
Cited 1

Resource access control in systems of mobile agents

Information and Computation
Location-Independent Communication for Mobile Agents: A Two-Level Architecture

ICCL'98 Workshop on Internet Programming Languages
A Facile Tutorial

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Concurrency: State Models And Java Programs

Concurrency: State Models And Java Programs
Implementing a Distributed Mobile Calculus Using the IMC Framework

Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling and verification of timed interaction and migration

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering

Flexible software architecture and language for mobile agents

Concurrency and Computation: Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ti Mo is a process algebra using timeouts for interactions and adaptable migration between explicit locations. Starting from this formalism, we have implemented a software platform for agent migration, separating the migration mechanism such that it can be reused for other systems with mobility. We describe the platform architecture and functionalities, the software modules and some implementation details, emphasizing the novel aspects and comparing with similar implementations. The implementation corresponds rigorously to the semantics of Ti Mo . An example illustrates the use of the migration platform for a simple problem.