we discuss the dynamic updating in ubiquitous computing
analyze the scenarios of dynamic updating
presents a new way of updating-route updating because of the dynamic of ubiquitous environment
different from the traditional updating way;by analyzing the limitation of the centralized updating model
we design a distributed updating model suitable for ubiquitous computing environment;finally we build a formal model for this updating mechanism using type and effect system.