Formalization of autonomic heuristics-driven systems

In this paper we show the fundamental elements needed to make autonomous a heuristics-based system. It is made by using a formal notation. The proposed method allows heuristics designers to make autonomous a heuristics by exposing its state and the polytope in which the heuristics works properly. The proposed model was evaluated applying it to a real scenario in which a dynamic stream of batch jobs is classified according to job deadline QoS constraint. The conducted tests point out that the proposed autonomic heuristics can be fruitfully exploited.