Abstract: In this paper,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.