Klaim (Kernel Language for Agents Interaction and Mobil- ity) is an experimental language specifically designed to program dis- tributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. Klaim primitives allow pro- grammers to distribute and retrieve data and processes to and from the nodes of a net. Moreover, localities are first-class citizens that can be dynamically created and communicated over the network. Components, both stationary and mobile, can explicitly refer and control the spatial structures of the network. This paper reports the experiences in the design and development of Klaim. Its main purpose is to outline the theoretical foundations of the main features of Klaim and its programming model. We also present a modal logic that permits reasoning about behavioural properties of systems and various type systems that help in controlling agents move- ments and actions. Extensions of the language in the direction of object oriented programming are also discussed together with the description

The Klaim Project: Theory and Practice

Michele LORETI;
2003-01-01

Abstract

Klaim (Kernel Language for Agents Interaction and Mobil- ity) is an experimental language specifically designed to program dis- tributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. Klaim primitives allow pro- grammers to distribute and retrieve data and processes to and from the nodes of a net. Moreover, localities are first-class citizens that can be dynamically created and communicated over the network. Components, both stationary and mobile, can explicitly refer and control the spatial structures of the network. This paper reports the experiences in the design and development of Klaim. Its main purpose is to outline the theoretical foundations of the main features of Klaim and its programming model. We also present a modal logic that permits reasoning about behavioural properties of systems and various type systems that help in controlling agents move- ments and actions. Extensions of the language in the direction of object oriented programming are also discussed together with the description
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/405034
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 74
  • ???jsp.display-item.citation.isi??? 44
social impact