Klaim: A kernel language for agents interaction and mobility

  • De Nicola R
  • Ferrari G
  • Pugliese R
  • 44

    Readers

    Mendeley users who have this article in their library.
  • 355

    Citations

    Citations of this article.

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 right 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 implementation of KLAIM in Java

Author-supplied keywords

  • Coordination models
  • Language design
  • Mobile code languages
  • Programming languages
  • Semantics of programming languages

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Rocco De Nicola

  • Gian Luigi Ferrari

  • Rosario Pugliese

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free