×

zbMATH — the first resource for mathematics

Formalizing properties of mobile agent systems. (English) Zbl 1053.68503
Arbab, Farhad (ed.) et al., Coordination models and languages. 5th international conference, COORDINATION 2002, York, GB, April 8–11, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43410-0). Lect. Notes Comput. Sci. 2315, 72-87 (2002).
Summary: The wide-spreading of Internet has stimulated the introduction of new programming paradigms and languages that model interactions among hosts by means of mobile agents, and that are centered around the notions of location awareness. In this paper we show how to use formal tools, specifically a modal logic, for formalizing properties for mobile agent systems. We concentrate on one of these new languages, KLAIM, and we use it to specify a system that permits maintaining the software installed on several heterogeneous computers distributed over a network by taking advantage of the mobile agent paradigm.
For the entire collection see [Zbl 0992.68519].

MSC:
68M10 Network design and communication in computer systems
68M14 Distributed systems
Software:
KLAIM; OCaml
PDF BibTeX Cite
Full Text: Link