Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BD01 (In proceedings)
Author(s) Lorenzo Bettini and Rocco De Nicola
Title« Translating Strong Mobility into Weak Mobility »
InProc. of 5th IEEE Int. Conf. on Mobile Agents (MA)
SeriesLNCS
Editor(s) G. Picco
Number2240
Page(s)182-197
Year2001
PublisherSpringer
URLhttp://music.dsi.unifi.it/papers/strongmob.ps.gz
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.

BibTeX code

@inproceedings{BD01,
  number = {2240},
  author = {Bettini, Lorenzo and De Nicola, Rocco},
  series = {LNCS},
  booktitle = {Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA)},
  editor = {G. Picco},
  url = {http://music.dsi.unifi.it/papers/strongmob.ps.gz},
  title = {{Translating Strong Mobility into Weak Mobility}},
  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.},
  publisher = {Springer},
  year = {2001},
  pages = {182-197},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!