Document Type

Technical Report


Computer Science and Engineering

Publication Date






Technical Report Number



Advances in wireless communication and network computing technologies make possible new kinds of applications involving transient interactions among physical components that move across a wide range of spaces, from the confines of a room to the airspace across an ocean, and require no fixed networking infrastructure to communicate with one another. Such components may come together to form ad hoc networks for the purpose of exchanging information or in order to engage in cooperative task-oriented behaviors. Ad hoc networks are assembled, reshaped and taken apart as components move in and out of communication range; all interactions are transient; computations become highly decoupled and rely on weak forms of data consistency; disconnections are frequent and unpredictable; and component behavior is sensitive to changes in location, context, quality of service, or administrative domain. Our objective is to develop an environment that will facilitate rapid development of dependable mobile applications executing over ad hoc networks. Our primary focus will be the development of coordination constructs that support transient interactions among components, specifically through the design of global virtual data structures. Operations and their effects on these data structures must be defined with respect to the current connectivity context. We intend to use formal modeling techniques to define these constructs and their operating constraints as well as providing the specification for implementing these structure. Part of this specification will involve the development of algorithms for the ad hoc environment such as leader election, termination detection, and transactions.


Permanent URL: