Structured Nets in Klaim

 Lorenzo Bettini, Michele Loreti, Rosario Pugliese

 Dipartimento di Sistemi e Informatica, Universita' di Firenze


Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental kernel language to model and program distributed concurrent applications with mobile code. The language consists of a core Linda with multiple tuple spaces distributed over the nodes of a net and of a set of operators for building processes that communicate via tuple spaces. The model underlying Klaim is flat, namely nodes cannot enclose other nodes. This is not realistic if one aims at modeling the Internet architecture; when considering intranets and firewalls, it has a definitely hierarchical structure.

In this paper we enrich the Klaim model by introducing a routing function and a partial ordering relation over nodes to obtain a hierarchical model. We also extend the language with a new process operation for programming and implementing system calls that provide access to and permit modification of the structure of a net.