TY  - JOUR
SN  - 0098-5589
N2  - 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 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 implementaton of KLAIM in Java.
KW  - Programming Languages
KW  -  Mobile Code Languages
KW  -  Semantics of Programming
Languages
KW  -  Language Design
KW  -  Coordination Models.
TI  - KLAIM: A Kernel Language for Agents Interaction and Mobility
AV  - public
UR  - http://doi.ieeecomputersociety.org/10.1109/32.685256
N1  - (c) 1998 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
ID  - eprints351
EP  - 330
PB  - IEEE Computer Society
A1  - De Nicola, Rocco
A1  - Ferrari, GianLuigi
A1  - Pugliese, Rosario
SP  - 315
Y1  - 1998///
IS  - 5
JF  - IEEE Transactions on Software Engineering
VL  - 24
ER  -