Loading...
Please wait, while we are loading the content...
Similar Documents
Mobile UNITY: Reasoning and specification in mobile computing (1997)
| Content Provider | CiteSeerX |
|---|---|
| Author | Mccann, Peter J. Plun, Jerome Y. |
| Abstract | Mobile computing represents a major point of departure from the traditional distributed computing paradigm. The potentially very large number of independent computing units, a decoupled computing style, frequent disconnections, continuous position changes, and the location-dependent nature of the behavior and communication patterns present designers with unprecedented challenges in the areas of modularity and dependability. So far, the literature on mobile computing is dominated by concerns having to do with the development of protocols and services. This paper complements this perspective by considering the nature of the underlying formal models that will enable us to specify and reason about such computations. The basic research goal is to characterize fundamental issues facing mobile computing. We want to achieve this in a manner analogous to the way concepts such as shared variables and message passing help us understand distributed computing. The pragmatic objective is to develop techniques that facilitate the verification and design of dependable mobile systems. Towards this goal we employ the methods of UNITY. To focus on what is essential we center our study on ad-hoc networks whose singular nature is bound to reveal the ultimate impact of movement on the way one computes and communicates in a mobile environment. To understand interactions we start with the UNITY concepts of union and superposition and consider direct generalizations to transient interactions. The motivation behind the transient nature of the interactions comes |
| File Format | |
| Journal | ACM Transactions on Software Engineering and Methodology |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Mobile Unity Location-dependent Nature Unprecedented Challenge Way Concept Direct Generalization Transient Nature Mobile Environment Formal Model Continuous Position Change Mobile Computing Unity Concept Basic Research Goal Ad-hoc Network Ultimate Impact Singular Nature Frequent Disconnection Pragmatic Objective Communication Pattern Present Designer Fundamental Issue Dependable Mobile System Major Point Message Passing Decoupled Computing Style |
| Content Type | Text |
| Resource Type | Article |
