Research Of Robust Consistency Of Dynamic Reconfigurable Grid Application System

In order to make the long running grid application which provides continuous services adapt to the ever changing user requirements and dynamic changing grid environment, dynamic reconfiguration is necessary so that the system configuration can evolve at run time from one configuration to another configuration while preserving the consistency of the grid application. It is undesirable to stop and restart the grid application system for safety and economic reasons.Dynamic reconfigurable grid application system is analyzed theoretically in this thesis.Based on the basic component model, a formal model of dynamic reconfigurable service component is presented, and a formal grid application model is also presented. Fundamental definitions on consistency, robust consistency, structure integrity and state continuity are given. Based on grid application model and these fundamental definitions, a theorem on robust consistency is proposed and proved. And a conclusion on dynamic reconfiguration is inferred from the theorem.Finally, a formal model of dynamic reconfigurable grid application system (GAS) is built using abstract state machine (ASM). The transition rules of GAS is analyzed under consideration of the initial states and constraints of GAS, and the following conclusions are drawn:GAS possesses structural integrity.GAS possesses state continuity.GAS will produce the desired response in finite time upon receiving the client request.GAS possesses reachability of dynamic reconfigurable safety status.GAS is dynamic reconfigurable.GAS possesses robust consistency.