BD05 (In proceedings)
|
Author(s) | Lorenzo Bettini and Rocco De Nicola |
Title | « Mobile Distributed Programming in X-Klaim » |
In | Formal Methods for Mobile Computing, Advanced Lectures |
Series | LNCS |
Editor(s) | M. Bernardo and A. Bogliolo |
Volume | 3465 |
Page(s) | 29-68 |
Year | 2005 |
Publisher | Springer |
URL | http://rap.dsi.unifi.it/~bettini/bibliography/files/xklaim.ps.gz |
Abstract |
Network-aware computing has called for new programming languages that exploit the mobility paradigm as a basic interaction mechanism. In this paper we present X-Klaim, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple distributed tuple spaces and mobile code. The language consists of a set of coordination primitives inspired by Linda, a set of operators for building processes borrowed from process algebras and a few classical constructs for sequential programming. X-Klaim naturally supports programming with explicit localities; these are first-class data that can be manipulated like any other data, and coordination primitives that permit controlling interactions among located processes. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented by means of the considered language. |
@inproceedings{BD05,
volume = {3465},
author = {Bettini, Lorenzo and De Nicola, Rocco},
series = {LNCS},
booktitle = {Formal Methods for Mobile Computing, Advanced Lectures},
editor = {M. Bernardo and A. Bogliolo},
url = {http://rap.dsi.unifi.it/~bettini/bibliography/files/xklaim.ps.gz},
title = {{Mobile Distributed Programming in X-Klaim}},
abstract = {Network-aware computing has called for new programming languages
that exploit the mobility paradigm as a basic interaction
mechanism. In this paper we present X-Klaim, an experimental
programming language specifically designed to program distributed
systems composed of several components interacting through
multiple distributed tuple spaces and mobile code. The language
consists of a set of coordination primitives inspired by Linda, a
set of operators for building processes borrowed from process
algebras and a few classical constructs for sequential
programming. X-Klaim naturally supports programming with explicit
localities; these are first-class data that can be manipulated
like any other data, and coordination primitives that permit
controlling interactions among located processes. Via a series of
examples, we show that many mobile code programming paradigms can
be naturally implemented by means of the considered language.},
publisher = {Springer},
year = {2005},
pages = {29-68},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)