Coordinating self-sizing and self-repair managers for multi-tier systems
We propose an approach for coordinating several autonomic managers based on discrete controller synthesis. This relies on modelling the autonomic managers behaviours with states and transition functions. The coordination policy is expressed as logical properties upon the states. The controller which can enforce the logical properties is automatically computed. We present an evaluation of this approach.
coordination discrete controller synthesis autonomic computing reactive programming replicated jee servers