eprintid: 327 rev_number: 8 eprint_status: archive userid: 32 dir: disk0/00/00/03/27 datestamp: 2011-06-06 09:50:50 lastmod: 2011-07-11 14:36:26 status_changed: 2011-06-06 09:50:50 type: book_section metadata_visibility: show item_issues_count: 0 creators_name: Bettini, Lorenzo creators_name: De Nicola, Rocco creators_id: creators_id: r.denicola@imtlucca.it title: Translating Strong Mobility into Weak Mobility ispublished: pub subjects: QA75 divisions: CSA full_text_status: none abstract: Mobile agents are software objects that can be transmitted over the net together with data and code, or can autonomously migrate to a remote computer and execute automatically on arrival. However many frameworks and languages for mobile agents only provide weak mobility: agents do not resume their execution from the instruction following the migration action, instead they are always restarted from a given point. In this paper we present a purely syntactic translation process for transforming programs that use strong mobility into programs that rely only on weak mobility, while preserving the original semantics.This transformation applies to programs written in a procedural language and can be adapted to other languages, like Java, that provide means to send data and code, but not the execution state.It has actually been exploited for implementing our language for mobile agents X-Klaim, that has linguistic constructs for strong mobility. date: 2001 date_type: published series: Lecture Notes in Computer Science volume: 2240 publisher: Springer pagerange: 182-197 id_number: 10.1007/3-540-45647-3_13 refereed: TRUE isbn: 3-540-42952-2 book_title: Mobile Agents editors_name: Picco, Gian Pietro official_url: http://dx.doi.org/10.1007/3-540-45647-3_13 projects: This work has been partly supported by MURST Projects SALADIN and TOSCA. citation: Bettini, Lorenzo and De Nicola, Rocco Translating Strong Mobility into Weak Mobility. In: Mobile Agents. Lecture Notes in Computer Science, 2240 . Springer, pp. 182-197. ISBN 3-540-42952-2 (2001)