Short version
in 7th International Conference on Coordination Models and Languages
(COORDINATION '05),
Namur (Belgium), April 20-23, 2005.
Full version
in Science of Computer Programming.
Formerly available as
Tech. Rep. 05/2005, Dip. Informatica, Univ di Roma "La Sapienza".
tKLAIM is a variant of the process description language KLAIM (a Kernel Language for Agents Interaction and Mobility) that is suitable for describing a wide range of applications distributed over wide area networks with agents and code mobility. It provides linguistic tools for describing the activity of network nodes and their dynamically evolving connections, and for modelling process distribution and mobility, while permitting remote communication through distributed tuple spaces. In this paper, we set up a framework for specifying and proving properties of global computing applications. On one hand, we show how tKLAIM can be used to model a number of interesting distributed applications. On the other hand, we show how systems correctness can be guaranteed by exploiting observational equivalences to study the relationships between descriptions of systems at different levels of abstraction.
@InProceedings{DGP:COORD05,
author = {R. {De Nicola} and D. Gorla and R. Pugliese},
title = {Global Computing in a Dynamic Network of Tuple Spaces},
editor = {J.M. Jacquet and G.P. Picco},
booktitle = {Proc. of 7th International Conference on Coordination Models and Languages (COORDINATION 2005)},
series = {LNCS},
volume = {3454},
pages = {157--172},
year = {2005},
publisher = {Springer},
}
@Article{DGP:SCP07,
author = {R. {De Nicola} and D. Gorla and R. Pugliese},
title = {Global Computing in a Dynamic Network of Tuple Spaces},
journal = {Science of Computer Programming},
volume = {64},
number = {2},
pages = {187 –- 204},
year = {2007},
publisher = {Elsevier},
}