In this paper, we describe GCUCE (Grid Computing for Ubiquitous Computing Environment), which supports the unified efficient ubiquitous service interacting with Grid service modules using Access Grid computing. Also, we describe two mobility models: enterprise model and automata model. The former is focused on the service demand aspects, and the latter concentrates on the state transition. Based on those models, we shall show the performance of GCUCE by evaluating several experiments for DOWS (Distributed Object-oriented Wargame Simulation). The two models comprising enterprise model and automata model of software state suggest the formal and mathematical model about software mobility in GCUCE, and provide the overall views and direction of ubiquitous software development.