Affiliation:
1. Dipartimento di Sistemi e Informatica, Universtà di FirenzeViale Morgagni 65, 50134 Firenze, Italy
Abstract
A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on
Kernel Language for Agents Interaction and Mobility
(
Klaim
).
Klaim
is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.
Subject
General Physics and Astronomy,General Engineering,General Mathematics
Reference33 articles.
1. Arnold K Freeman E& Hupfer S JavaSpaces principles patterns and practice. 1999a Essex UK:Addison-Wesley.
2. Arnold K O'Sullivan B Scheifler R Waldo J& Wollrath A The Jini specification. 1999b Reading MA:Addison-Wesley.
3. Bettini L. & De Nicola R. 2005 Mobile distributed programming in X- Klaim . In Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM-Moby 2005 (eds M. Bernardo & A. Bogliolo). Lecture Notes in Computer Science no. 3645 pp. 182–197. Berlin Germany: Springer.
4. Bettini L. De Nicola R. & Loreti M. 2002 a Software update via mobile agent based programming. In Proc. ACM SAC 2002 Special Track on Agents Interactions Mobility and Systems pp. 32–36. New York NY: ACM Press.
5. Klava: a Java package for distributed and mobile applications
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Evaluación bibliométrica acerca de “Subprocesos con hilos de JAVA”;Revista Científica de Informática ENCRIPTAR;2023-12-31
2. A Role Based Coordination Model with Types for Access Control;2009 WRI World Congress on Software Engineering;2009
3. Introduction;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2008-07-31