Contents 1 Introduction 2 1.1 Introduction to Mobile Computing : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 Impact of Mobility on Distributed Software Systems : : : : : : : : : : : : : : : : : : 2 1.2.1 The Characteristics of Mobile Computation : : : : : : : : : : : : : : : : : : : 2 1.2.2 Brief Overview of Related Research Efforts : : : : : : : : : : : : : : : : : : : 3 2 Statement of the Problem 4 3 Plan of Our Research 4 3.1 Modeling the Environment : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 3.2 Consistency Issues : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 3.3 Tools and Language Constructs : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 3.4 Prototype Implementation and Experiments : : : : : : : : : : : : : : : : : : : : : : : 7 3.5 Summary of the Propose