eprintid: 290
rev_number: 17
eprint_status: archive
userid: 32
dir: disk0/00/00/02/90
datestamp: 2011-05-25 12:54:48
lastmod: 2014-10-08 09:20:45
status_changed: 2011-05-25 12:54:48
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bettini, Lorenzo
creators_name: De Nicola, Rocco
creators_name: Falassi, Daniele
creators_name: Loreti, Michele
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: Implementing a distributed mobile calculus using the IMC framework
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Code Mobility; Language Implementation; Network Programming
abstract: 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 [pi]-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 and relying on the common framework for all the recurrent mechanisms like network connections, code mobility, name handling, etc.
date: 2007
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 181
publisher: Elsevier
pagerange: 63-79
id_number: 10.1016/j.entcs.2007.01.054
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S1571066107003696
funders: The work presented in this report has been partially supported by EU Project Software Engineering for Service-Oriented Overlay Computers (SENSORIA, contract IST-3-016004-IP-09).
citation:   Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele  Implementing a distributed mobile calculus using the IMC framework.  Electronic Notes in Theoretical Computer Science, 181.  pp. 63-79.  ISSN 1571-0661      (2007)  
document_url: http://eprints.imtlucca.it/290/4/Bettini_DeNicola_Falassi_Loreti.pdf
document_url: http://eprints.imtlucca.it/290/1/jdpi_2007a.pdf