The Mob-adtl Model and Method to Design Network Aware Applications

Ferrari, Gianluigi and Montangero, Carlo and Semini, Laura and Semprini, Simone (2003) The Mob-adtl Model and Method to Design Network Aware Applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (195Kb)

Abstract

We introduce a high level declarative model for mobile and ad hoc computing. The model takes the form of a logical theory in a Unity-like linear time temporal logic and is specifically designed to deal with Network Awareness, Mobility, and Coordination. A companion design methodology based on formal refinements is also introduced in this paper. The model and its design methodology are validated through an illustrative case study, namely a system that coordinates the activities of mobile components over an ad hoc network.

Repository staff only actions