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.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Mobile Computing |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 17 Dec 2014 16:35 |
Last Modified: | 17 Dec 2014 16:35 |
URI: | http://eprints.adm.unipi.it/id/eprint/2098 |
Repository staff only actions
View Item |