Brief Announcement: A Design Methodology for M obile Distributed Applications based on UNITY formalism and Communication-Closed Layering
Abstract:
Balancing the issues of transparency and adaptation makes mobile application design an increasingly complex task. The execution of certain applications relies on location-dependent services, e.g. finding the shortest route or the nearest geographical configuration. However, for other cases, location is transparent, e.g. querying the same database server. Mobile applications need to be adapted to disconnection or reconfiguration of the underlying architecture or the environment. Amadio [1] gives a design model for mobile agents and analyzes the effect of failures in the context of tolerance to disconnection and adaptation to resource availability. McCann and Roman [5] derive a UNITY-like methodology and address the problem of dynamically reconfiguring mobile distributed systems. Mobile components are programs with additional variables representing location. A form of dynamic
Citations
| 693 | Parallel Program Design { A Foundation – Chandy, Misra - 1988 |
| 123 | An asynchronous model of locality, failure, and process mobility – Amadio - 1997 |
| 55 | Compositional Programming abstractions for Mobile computing – McCann, Roman - 1998 |
| 36 | Decomposition of distributed programs into communication-closed-layers – Elrad, Francez - 1982 |
| 19 | Action systems and action refinement in the development of parallel systems – Janssen, Poel, et al. - 1991 |
