eprintid: 320
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/20
datestamp: 2011-06-08 13:32:07
lastmod: 2011-07-11 14:36:26
status_changed: 2011-06-08 13:32:07
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bettini, Lorenzo
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Formalizing Properties of Mobile Agent Systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: 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.
date: 2002
date_type: published
series: Lecture Notes in Computer Science
volume: 2315
publisher: Springer
pagerange: 72-87
id_number: 10.1007/3-540-46000-4_9
refereed: TRUE
isbn: 3-540-43410-0
book_title: Coordination Models and Languages (COORDINATION 2002)
editors_name: Arbab, Farhad
editors_name: L. Talcott, Carolyn
official_url: http://dx.doi.org/10.1007/3-540-46000-4_9
funders: This work has been partially supported by EU within the FET—Global Computing initiative, project AGILE IST-2001-32747 and by MIUR project NAPOLI.
citation:   Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele  Formalizing Properties of Mobile Agent Systems.   In:  Coordination Models and Languages (COORDINATION 2002).   Lecture Notes in Computer Science, 2315 .  Springer, pp. 72-87.  ISBN 3-540-43410-0      (2002)