KLAIM: A Kernel Language for Agents Interaction and Mobility

De Nicola, Rocco and Ferrari, GianLuigi and Pugliese, Rosario KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24 (5). pp. 315-330. ISSN 0098-5589 (1998)

Preview

PDF ((c) 1998 IEEE) - Accepted Version Download (303kB) | Preview

Abstract

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.

Item Type:	Article
Identification Number:	10.1109/32.685256
Additional Information:	(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.
Uncontrolled Keywords:	Programming Languages, Mobile Code Languages, Semantics of Programming Languages, Language Design, Coordination Models.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Rocco De Nicola
Date Deposited:	10 Jun 2011 12:20
Last Modified:	15 Jan 2014 10:23
URI:	http://eprints.imtlucca.it/id/eprint/351

Actions (login required)

Edit Item