KLAIM: a kernel language for agents interaction and mobility

摘要

We investigate the issue of designing a kernel programmingnlanguage for mobile computing and describe KLAIM, a language thatnsupports a programming paradigm where processes, like data, can be movednfrom one computing environment to another. The language consists of ancore Linda with multiple tuple spaces and of a set of operators fornbuilding processes. KLAIM naturally supports programming with explicitnlocalities. Localities are first-class data (they can be manipulatednlike any other data), but the language provides coordination mechanismsnto control the interaction protocols among located processes. The formalnoperational semantics is useful for discussing the design of thenlanguage and provides guidelines for implementations. KLAIM is equippednwith a type system that statically checks access right violations ofnmobile agents. Types are used to describe the intentions (read, write,nexecute, etc.) of processes in relation to the various localities. Thentype system is used to determine the operations that processes want tonperform at each locality, and to check whether they comply with thendeclared intentions and whether they have the necessary rights tonperform the intended operations at the specific localities. Via a seriesnof examples, we show that many mobile code programming paradigms can bennaturally implemented in our kernel language. We also present anprototype implementation of KLAIM in Java