Mobile Distributed Programming in X-Klaim

• Published in: Formal Methods for Mobile Computing pp. 29 - 68
• Main Authors: Bettini, Lorenzo, De Nicola, Rocco
• Format: Book Chapter Conference Proceeding
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005; Springer
• Series: Lecture Notes in Computer Science
• Subjects: Applied sciences; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Exact sciences and technology; Logical Locality; Mobile Agent; Mobile Code; Software; Strong Mobility; Tuple Space; Process algebra; Formal method; Coordination; Locality; Mobility; Distributed system; Distributed computing; Mobile software; Programming language; Sequential method; Experimental design; Distributed algorithm; Mobile agent; Shared memory
• ISBN: 3540256970; 9783540256977
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/11419822_2

Network-aware computing has called for new programming languages that exploit the mobility paradigm as a basic interaction mechanism. In this paper we present X-Klaim, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple distributed tuple spaces and mobile code. The language consists of a set of coordination primitives inspired by Linda, a set of operators for building processes borrowed from process algebras and a few classical constructs for sequential programming. X-Klaim naturally supports programming with explicit localities; these are first-class data that can be manipulated like any other data, and coordination primitives that permit controlling interactions among located processes. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented by means of the considered language.