Mobile UNITY: reasoning and specification in mobile computing

@article{Roman1997MobileUR,
  title={Mobile UNITY: reasoning and specification in mobile computing},
  author={G. Roman and P. McCann and Jerome Y. Plun},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={1997},
  volume={6},
  pages={250-282}
}
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… Expand
Designing adaptive environment-aware applications for mobile computing
TLDR
This dissertation addresses the problem of exposing an application to the effects of mobility, and proposes an application architecture that balances the trade-off between hiding and exposing mobility awareness, and presents a novel architecture for managing and reporting changes in the mobile environment to an application. Expand
A Notation and Logic for Mobile Computing
TLDR
The goal is to find a minimalist model of mobile computation that will allow us to express mobile components in a modular fashion and to reason formally about the possible behaviors of a system composed from mobile components. Expand
Compositional Programming Abstractions for Mobile Computing
TLDR
This paper addresses the question of whether UNITY, a state-based formalism with a foundation in temporal logic, can be extended to address concurrent, mobile systems and examines some new abstractions for communication among mobile components that express reconfiguration and disconnection and which can be composed in a modular fashion. Expand
Reasoning about code mobility with mobile UNITY
TLDR
This paper seeks to uncover a common foundation for the two paradigms by exploring the manner in which stereotypical forms of code mobility can be expressed in a programming notation developed for mobile computing. Expand
A context-based approach for mobile application development
TLDR
A new mobility modeling framework based on the notion of physical environment has been developed that explicitly separates the mobile entities represented in a program from the physical environment using the concept of context. Expand
Nomadic Pict: language and infrastructure design for mobile computation
TLDR
An agent programming language is introduced – Nomadic Pict – designed to allow infrastructure algorithms to be expressed clearly, as translations from a high-level language to a lower level, based on rigorously-defined process calculi, which provide sharp levels of abstraction. Expand
Reasoning About Code Mobility with Mobile UnityGian
Advancements in network technology have led to the emergence of new computing paradigms that challenge established programming practices by employing weak forms of consistency and dynamic forms ofExpand
Enabling the rapid development of dependable applications in the mobile environment
TLDR
The goal of this thesis is to develop an environment that will facilitate rapid development of dependable mobile applications executing in both physical and logical mobile environments and to present two design strategies to achieve this goal. Expand
Ambient computing applications: an experience with the SPREAD approach
  • P. Couderc, M. Banâtre
  • Computer Science
  • 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the
  • 2003
TLDR
This paper presents a light framework to design ubiquitous computing software, called SPREAD, which introduces a programming and execution model allowing designing computing and information systems driven directly by arranging and moving physical objects in the space. Expand
Expressing code mobility in mobile UNITY
TLDR
This paper seeks to uncover a common foundation for the two paradigms by exploring the manner in which stereotypical forms of code mobility can be expressed in a programming notation developed for mobile computing. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 24 REFERENCES
Event delivery abstractions for mobile computing
TLDR
A language level abstraction to deliver events along with the run-time support required for mobile computing to be used in all such environments where an application may be interested in altering its behavior in response to changes in the state of its environment. Expand
Foundations of Actor Semantics
The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture.Expand
Reasoning About Synchronic Groups
TLDR
The Swarm model is overviews, the synchronic group concept is introduced, and its use in the expression of dynamically structured programs is illustrated. Expand
Context-Aware Computing Applications
TLDR
This paper describes systems that examine and react to an individual's changing context, and describes four catagories of context-aware applications: proximate selection, automatic contextual reconfiguration, contextual information and commands, and contex-triggered actions. Expand
A calculus of mobile processes, II
TLDR
The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions. Expand
Managing update conflicts in Bayou, a weakly connected replicated storage system
TLDR
The motivation for and design of these mechanisms for conflict detection and per -write conflict resolution based on client-provid ed procedures are presented and the experiences gained with an initial implementation of the system are described. Expand
Experience with Disconnected Operation in a Mobile Computing Environment
TLDR
Qualitative and quantitative data on file access in a mobile computing environment based on actual usage experience with the Coda File System confirms the viability and effectiveness of disconnected operation, and exposes certain deficiencies of the current implementation of Coda. Expand
Assertional Reasoning about Dynamic Systems
TLDR
This paper shows how, despite fundamental differences in computing styles, the UNITY, Swarm and Dynamic Synchrony models were designed to share the same basic assertional proof logic. Expand
A Programming Interface for Application-Aware Adaptation in Mobile Computing
TLDR
The essence of the solution is a collaborative partnership between applications and the operating system for application-aware adaptation and its use in accessing two types of data: video and maps. Expand
An old-fashioned recipe for real time
TLDR
TLA (the temporal logic of actions) is illustrated how they work with the examples of a queue and of a mutual-exclusion protocol, and two problems must be addressed: avoiding the real-time programming version of Zeno's paradox, and coping with circularities when composing real- time assumption/guarantee specifications. Expand
...
1
2
3
...