Research Article
Model Based Reactive Planning and Prediction for Autonomic Systems
@INPROCEEDINGS{10.4108/ICST.AUTONOMICS2007.2303, author={Peter H. Deussen}, title={Model Based Reactive Planning and Prediction for Autonomic Systems}, proceedings={1st international ICST Workshop on Innovative Service Technologies}, publisher={ICST}, proceedings_a={INSERTECH}, year={2007}, month={10}, keywords={Models Autonomic Systems Pomsets Pomtrees Abstraction Embedding Zoom Abstract Interpretation}, doi={10.4108/ICST.AUTONOMICS2007.2303} }- Peter H. Deussen
Year: 2007
Model Based Reactive Planning and Prediction for Autonomic Systems
INSERTECH
ICST
DOI: 10.4108/ICST.AUTONOMICS2007.2303
Abstract
Dynamic adaptation according to situational variety requires the employment of planning algorithms for reactive and proactive dealing with detected or predicted conditions. The complexity of large scaled, distributed systems however prohibits planning strategies acting on the granularity of single components because (a) a local system view from the perspective of singular components is usually not sufficient, and (b) the synthesis (or a-priory definition) of a global perspective is far beyond feasibility. We therefore propose the use of dynamic abstraction mechanisms to generate planning models of a suitable degree of granularity. The framework of Abstract Interpretation is used to define both a reactive planning algorithm and a pro-active prediction.