Top-down Change Enactment and Change Optimization

In this chapter, we present a set of algorithms for the processes of enacting and optimizing top down changes. During the process of change enactment, changes are first reacted to at two levels: schema-level and instance-level. Changes are then verified to ensure the correct configuration of a LCS. The result of change enactment may be multiple new LCS instances. The best one will be chosen during the process of change optimization.