Compositional Programming Abstractions for Mobile Computing

Authors

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

Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

1997-01-01

Filename

WUCS-97-45.PDF

Technical Report Number

WUCS-97-45

Abstract

Recent advances in wireless networking technology and the increasing demand for ubiquitous, mobile connectivity demonstrate the importance of providing reliable systems for managing reconfiguration and disconnection of components. Design of such systems requires tools and techniques appropriate to the task. Many formal models of computation, including UNITY, are not adequate for expressing reconfiguration and disconnection and are therefore inappropriate vehicles for investigating the impact of mobility on the construction of modular and composable systems. Algebraic formalisms such as the pi-calculus have been proposed for modeling mobility. This paper addresses the question of whether UNITY, a state-based formalism with a foundation in temporal logic, can be extended to address concurrent, mobile systems. In the process, we examine some new abstractions for communication among mobile components that express reconfiguration and disconnection and which can be composed in a modular fashion.

Comments

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

Recommended Citation

McCann, Peter J. and Roman, Gruia-Catalin, "Compositional Programming Abstractions for Mobile Computing" Report Number: WUCS-97-45 (1997). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/455