Systematic Generation of Dependable Change Coordination 
Plans for Automated Switching of View Maintenance 
Policy






synthesis, model-checking, distributed information systems, view maintenance 
policies


Mission critical applications of distributed information 
systems consist of autonomous information resources that 
are coordinated based on view-maintenance policies to 
meet the information demands of client specific 
decision-support views. Dynamic changes in QoS constraints 
of the clients and/or changes in QoS 
constraints of the resources require dynamic switching 
of the policies. A major challenge is 
developing a self-configurable architecture and mechanisms that 
enable dynamic switching of policies in a 
dependable manner. This paper a) identifies requirements 
for safe policy switching, b) develops an 
architecture with change coordination elements for automated 
policy switching, and, c) defines a method 
for systematic generation of specifications of the 
change elements that satisfies the properties. We 
apply model-checking techniques for simulation of the 
generated specifications and verifying their correctness.