* Supporting periodic evaluation of reconfiguration predicates