Sciweavers

ENTCS
2007

Implementing a Distributed Mobile Calculus Using the IMC Framework

13 years 3 months ago
Implementing a Distributed Mobile Calculus Using the IMC Framework
In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been proposed. These implementations usually consist of a limited part dealing with mechanisms that are specific of the proposed calculus and of a significantly larger part handling recurrent mechanisms that are common to many calculi. Nevertheless, also the “classic” parts are often re-implemented from scratch. In this paper we show how to implement a well established representative of the family of mobile calculi, the distributed π-calculus, by using a Java middleware (called IMC - Implementing Mobile Calculi) where recurrent mechanisms of distributed and mobile systems are already implemented. By means of the case study, we illustrate a methodology to accelerate the development of prototype implementations while concentrating only on the features that are specific of the calculus under consideration an...
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
Comments (0)