a Java framework for mobile code
Version 2 available
KLAVA (Klaim in Java) is a Java package that contains all the classes which implements the runtime system support for X-KLAIM. The X-Klaim compiler translates X-KLAIM programs into Java programs that use KLAVA.
The first version of Klava has been described in
Klava: a Java Package for Distributed and Mobile Applications
L. Bettini, R. De Nicola, R. Pugliese. Software - Practice and Experience, 32(14):1365-1394, John Wiley & Sons, 2002.
This new version is based on the hierarchical net model described in:
An Infrastructure Language for Open Nets
L. Bettini, M. Loreti, R. Pugliese. Proc. of SAC, Special Track on Coordination Models, Languages and Applications, pages 373-377, 2002, ACM.
abstract gzipped-ps gzipped-ps (Draft)
A description of the internals of this package can be found in the following PhD thesis:
Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations,
Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica, Dipartimento di Matematica, UniversitÓ di Siena, Febbraio 2003.
X-Klaim and Klava were originally implemented by Lorenzo Bettini in his Master Thesis in Computer Science (April 98): "Progetto e realizzazione di un linguaggio di programmazione per codice mobile" (Design and implementation of a programming language for mobile code). This software has been further extended in his PhD Thesis (Feb. 2003) "Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations" Both documents are available in gzipped Poscript, or you can request them directly to .