A software framework for rapid prototyping of run-time systems for mobile calculi

Authors:
Lorenzo Bettini;Rocco De Nicola;Daniele Falassi;Marc Lacoste;Luís Lopes;Licínio Oliveira;Hervé Paulino;Vasco T. Vasconcelos
Affiliations:
Dipartimento di Sistemi e Informatica, Università di Firenze;Dipartimento di Sistemi e Informatica, Università di Firenze;Dipartimento di Sistemi e Informatica, Università di Firenze;Distributed Systems Architecture Department, France Telecom R & D;Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto;Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto;Departamento de Informática, Faculdade de Ciências e Tecnologia, Univ. Nova de Lisboa;Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Venue:
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Year:
2004

Citing 18
Cited 3

The X-Kernel: An Architecture for Implementing Network Protocols

IEEE Transactions on Software Engineering
A calculus of mobile processes, II

Information and Computation
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Programming languages for mobile code

ACM Computing Surveys (CSUR)
LIME: Linda meets mobility

Proceedings of the 21st international conference on Software engineering
FlexiNet—a flexible component oriented middleware system

Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The design and performance of a pluggable protocols framework for real-time distributed object computing middleware

IFIP/ACM International Conference on Distributed systems platforms
Programming and Deploying Java Mobile Agents Aglets

Programming and Deploying Java Mobile Agents Aglets
A Distributed Abstract Machine for Safe Ambients

ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
An Overview of Mobile Agent Programming

Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
The Architecture of the Ara Platform for Mobile Agents

MA '97 Proceedings of the First International Workshop on Mobile Agents
Reactive Tuple Spaces for Mobile Agent Coordination

MA '98 Proceedings of the Second International Workshop on Mobile Agents
Analyzing Mobile Code Languages

MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Jada - Coordination and Communication for Java Agents

MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Sumatra: A Language for Resource-Aware Mobile Programs

MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
KLAVA: a Java package for distributed and mobile applications

Software—Practice & Experience
Jonathan: an open distributed processing environment in Java

Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing

SuMo: A Framework for Prototyping Distributed and Mobile Software

ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing
Provably Correct Implementations of Services

Trustworthy Global Computing
A java package for transparent code mobility

FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the architecture and the implementation of the Mikado software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer with primitives to design and implement run-time systems for distributed process calculi. The paper describes the four main components of abstract machines for mobile calculi (node topology, naming and binding, communication protocols and mobility) that have been implemented as Java packages. The paper also contains the description of a prototype implementation of a run-time system for the Distributed Pi-Calculus relying on the presented framework.