Parallel program design: a foundation
Parallel program design: a foundation
A calculus of mobile processes, I
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Managing update conflicts in Bayou, a weakly connected replicated storage system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Reasoning About Synchronic Groups
Research Directions in High-Level Parallel Programming Languages
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Foundations of Actor Semantics
Foundations of Actor Semantics
Expressing code mobility in mobile UNITY
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal Methods in System Design
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Notation and Logic for Mobile Computing
Formal Methods in System Design
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A survey of theories for mobile agents
World Wide Web
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
An Overview of Mobile Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A LTS Semantics of Ambients via Graph Synchronization with Mobility
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Hybrid Models for Mobile Computing
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated Generation of Context-Aware Tests
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Representing Hierarchical Mobility in Software Architectures
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An evolving hierarchical & modular approach to resilient software
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
MA-UML: a conceptual approach for mobile agents' modelling
International Journal of Agent-Oriented Software Engineering
A web search-centric approach to recommender systems with URLs as minimal user contexts
Journal of Systems and Software
Specifying a mobile computing infrastructure and services
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Algebraic semantics of design abstractions for context-awareness
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Rigorous development of fault-tolerant agent systems
Rigorous Development of Complex Fault-Tolerant Systems
Formal goal-oriented development of resilient MAS in event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
A case study in formal development of a fault tolerant multi-robotic system
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Proceedings of the first international workshop on Mobile cloud computing & networking
Uncoupling of mobile cloud computing architecture using tuple space: modeling and reasoning
Proceedings of the 6th ACM India Computing Convention
Hi-index | 0.00 |
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 de with the development of protocols and services. This article 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. Toward 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 from the fact that components can communicate with each other only when they are within a a certain range. The notation we employ is a highly modular extension of the UNITY programming notation. Reasoning about mobile computations relies on extensions to the UNITY proof logic.