KLAIM: a kernel language for agents interaction and mobility. We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple spaces and of a set of operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class data (they can be manipulated like any other data), but the language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational semantics is useful for discussing the design of the language and provides guidelines for implementations. KLAIM is equipped with a type system that statically checks access right violations of mobile agents. Types are used to describe the intentions (read, write, execute, etc.) of processes in relation to the various localities. The type system is used to determine the operations that processes want to perform at each locality, and to check whether they comply with the declared intentions and whether they have the necessary rights to perform the intended operations at the specific localities. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented in our kernel language. We also present a prototype implementation of KLAIM in Java.

References in zbMATH (referenced in 60 articles , 4 standard articles )

Showing results 1 to 20 of 60.
Sorted by year (citations)

1 2 3 next

  1. Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko: Monitoring networks through multiparty session types (2017)
  2. Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco: Causal-consistent rollback in a tuple-based language (2017)
  3. Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis: A coordination language for databases (2017)
  4. Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco: A language-based approach to modelling and analysis of Twitter interactions (2017)
  5. Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke: Model checking spatial logics for closure spaces (2016)
  6. Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard: Reversibility in the higher-order $\pi$-calculus (2016)
  7. Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea: A white box perspective on behavioural adaptation (2015)
  8. Montanari, Ugo; Sammartino, Matteo: Network-conscious $\pi$-calculus -- a model of Pastry (2015)
  9. Tiezzi, Francesco; Yoshida, Nobuko: Reversible session-based pi-calculus (2015)
  10. De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco: Programming and verifying component ensembles (2014)
  11. Montanari, Ugo; Sammartino, Matteo: A network-conscious $\pi$-calculus and its coalgebraic semantics (2014)
  12. Montanari, Ugo; Sammartino, Matteo: Network conscious $\pi$-calculus: a concurrent semantics (2012)
  13. Pugliese, Rosario; Tiezzi, Francesco: A calculus for orchestration of web services (2012) ioport
  14. Wirsing, Martin; Eckhardt, Jonas; Mühlbauer, Tobias; Meseguer, José: Design and analysis of cloud-based architectures with KLAIM and Maude (2012) ioport
  15. Braghin, Chiara; Sharygina, Natasha; Barone-Adesi, Katerina: A model checking-based approach for security policy verification of mobile systems (2011)
  16. Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping: Comparing three coordination models: Reo, ARC, and PBRD (2011)
  17. Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele: Event based choreography (2010)
  18. de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario: From flow logic to static type systems for coordination languages (2010)
  19. Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio: Encoding asynchronous interactions using open Petri nets (2009)
  20. Beek, Maurice H.Ter; Gnesi, Stefania; Latella, Diego; Massink, Mieke; Sebastianis, Maurizio; Trentanni, Gianluca: Assisting the design of a groupware system - Model checking usability aspects of thinkteam (2009)

1 2 3 next