Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
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
maintaining the software installed on several heterogeneous computers distributed over a network by taking advantage of the mobile agent paradigm.