Klaim is a formalism that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. Klaim naturally supports programming with explicit localities;  it consists of a core Linda with multiple tuple spaces and of a set of operators for building processes.

X-Klaim is a programming language, based on Klaim, for  programming distributed applications with (object-oriented) mobile code.  It permits exchanging data and processes and programming mobile agents to retrieve information over the net.

The xklaim compiler produce Java code, by translating X-Klaim into a Java program that uses KLAVA, a Java package that implements the run-time system for Klaim.

• X-Klaim
• KLAVA

The Klaim approach can be exploited by programming directly in Java and while taking advantage the KLAVA package. 

Software for X-Klaim and KLAVA

Basic material on Klaim/X-Klaim

Documentation

• XKlaim user's guide  - ps.gz - pdf
• Klava user's guide  - ps.gz - pdf

Papers

• Locality Based Linda: programming with explicit localities
  R. De Nicola, G. Ferrari, R. Pugliese. Proc. of Theory and Practice of Software Development (TAPSOFT'97), LNCS 1214 (M. Bidoit, M. Dauchet, Eds.), pp.712-726, Springer, 1997.
  abstract
• Coordinating Mobile Agents via Blackboards and Access Rights
  R. De Nicola, G. Ferrari, R. Pugliese. Proc. of the 2nd Int. Conf. on Coordination Models and Languages (COORDINATION'97), LNCS 1282 (D. Garlan, D. Le Metayer, Eds.), pp.220-237, Springer, 1997.
  abstract
• Klaim: a Kernel Language for Agents Interaction and Mobility
  R. De Nicola, G. Ferrari, R. Pugliese. IEEE Transactions on Software Engineering, 24(5):315-330, IEEE Computer Society, 1998.
  abstract    pdf
• Interactive Mobile Agents in X-Klaim
  L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Proc. of the 7th IEEE Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98), pp.110-115, IEEE Computer Society, 1998.
  abstract      gzipped-ps
• Progetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile
  (Design and Implementation of a Programming Language for Mobile Code)
  Lorenzo Bettini, Master Thesis (in Italian), Università di Firenze, April 1998.
  abstract (English)       abstract (Italian)       gzipped-ps      gzipped-ps (2 pages in 1)
• Types as Specifications of Access Policies
  R. De Nicola, G.-L. Ferrari, R. Pugliese. In Secure Internet Programming: Security Issues for Distributed and Mobile Objects (J. Vitek, C. Jensen, Eds.), LNCS 1603, pp.117-146, Springer, 1999.
  abstract      gzipped-ps
• Progetto e realizzazione di un Sistema di Tipi per la Sicurezza di Codice Mobile
  (Design and Implementation of a Type System for Mobile Code Security)
  Marco Di Costanzo, Master Thesis (in Italian), Università di Firenze, July 1999.
  gzipped-ps
• Structured Nets in Klaim
  L. Bettini, M. Loreti, R. Pugliese. Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications, ACM Press, Como, March 2000. Vol. 1, pp. 174-180
  abstract      gzipped-ps (Full Paper)     
• Mobile Applications in X-KLAIM
  L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Proc. of WOA 2000, Parma. A. Corradi, A. Omicini, A. Poggi (Eds.), 2000.
  abstract      gzipped-ps     
• Types for Access Control
  R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri. Theoretical Computer Science, 240(1):215-254, Elsevier Science, 2000.
  abstract      gzipped-ps
• A Modal Logic for Klaim
  R. De Nicola, M. Loreti. Proc of Algebraic Methodology and Software Technology, 8th Int. Conf. AMAST 2000. T. Rus (Ed.), Iowa. LNCS 1816, Springer, 2000, pp 339-354.
  abstract      gzipped-ps       gzipped-ps (Full Paper)     PowerPoint slides (zipped) 
• Programming Access Control: The Klaim Experience
  R. De Nicola, G. Ferrari, R. Pugliese. In Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00), Lectures Notes in Computer Science, Springer, 2000. (to appear)
  abstract      gzipped-ps
• Klaim and its Access Control Mechanisms
  R. Pugliese. TOSCA'00: Worshop annuale progetto TOSCA, Genova, December, 2000. http://www.disi.unige.it/conferences/tosca00/ 
  Postscript slides
• Sicurezza e crittografia nei sistemi ad agenti mobili comunicanti tramite spazi di tuple
  (Security and cryptography in mobile agent systems communicating via tuple spaces)
  Daniele Becchi, Master Thesis (in Italian), Università di Firenze, Ottobre 2001.
  gzipped-ps
• Modelling Node Connectivity in Dynamically Evolving Networks
  L. Bettini, M. Loreti, R. Pugliese. ConCoord International Workshop on Concurrency and Coordination, ENTCS, vol. 54, 2001
  abstract     gzipped-ps
• Translating Strong Mobility into Weak Mobility
  L. Bettini, R. De Nicola. Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA), pages 182-197, LNCS 2240, 2001, G. Picco (Ed.), Springer.
  abstract      gzipped-ps
• 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)
• 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.
  abstract     gzipped-ps
• Towards Object-Oriented Klaim
  L. Bettini, V. Bono, B. Venneri. TOSCA 2001, ENTCS, vol. 62, Elsevier, 2001
  abstract     gzipped-ps
• X-Klaim and Klava: Programming Mobile Code
  L. Bettini, R. De Nicola, R. Pugliese.  TOSCA 2001, ENTCS, vol. 62, Elsevier, 2001
  abstract     gzipped-ps
• Software Update via Mobile Agent Based Programming
  L. Bettini, R. De Nicola, M. Loreti.  Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems, pages 32-36, 2002, ACM.
  abstract     gzipped-ps
• Formalizing Properties of Mobile Agent Systems
  L. Bettini, R. De Nicola, M. Loreti.  Proc. of Coordination 2002, pages 72-87, LNCS 2315, F. Arbab and C. Talcott (Eds.), 2002, Springer.
  abstract     gzipped-ps
• Access Control Mechanisms in Klaim
  R. Pugliese. AGILE, Kick-off meeting, Lisbona, March, 2002. PDF slides
• A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
  L. Bettini, R. De Nicola. Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications. To appear, 2002.
  abstract    gzipped-ps
• Mobile Distributed Programming in X-Klaim
  L. Bettini, R. De Nicola.  Formal Methods for Mobile Computing, Advanced Lectures. LNCS 3465, pages 29-68, M. Bernardo and A. Bogliolo (Eds.), 2005, Springer.
  abstract    gzipped-ps

Accesses:

Updated: 10-mag-2005