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)
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 |