Reasoning About Code Mobility with Mobile UNITY

Authors

Gian Pietro Picco, Washington University in St Louis
Gruia-Catalin Roman, Washington University in St. Louis
Peter J. McCann, Washington University in St. Louis

Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

1997-01-01

Filename

WUCS-97-43.PDF

Technical Report Number

WUCS-97-43

Abstract

Advancements in network technology have led to the emergence of new computing paradigms that challenge established programming practices by employing weak forms of consistency and dynamic forms of binding. Code mobility, for instance, allows for invocation-time binding between a code fragment and the location where it executes. Similarly, mobile computing allows hosts (and the software they execute) to alter their physical location. Despite apparent similarities, the two paradigms are distinct in their treatment of location and movement. This paper seeks to uncover a common foundation for the two paradigms by exploring the manner in which stereotypical forms of code mobility can be expressed in a programming notation developed for mobile computing. Several solutions to a distributed simulation problem are used to illustrate the modeling strategy for programs that employ code mobility.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7X928HH

Recommended Citation

Picco, Gian Pietro; Roman, Gruia-Catalin; and McCann, Peter J., "Reasoning About Code Mobility with Mobile UNITY" Report Number: WUCS-97-43 (1997). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/453