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 rights 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 dete...

• Type: Journal
• Year: 1998
• Where: TSE
• Authors: Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
• Keywords: Kernel Programming Language, Multiple Tuple Spaces, Programming, TSE 1998