Functionality recomposition for self-healing

Autonomic computing aims to provide self-management and adaptation in the implementation of complex (large, heterogeneous, distributed) systems over time. Such adaptations must be stable, in the sense of maintaining the system’s high-level goals across environmental changes, which may lead to functionality loss. In this paper we present FReSH, a decentralised component-based framework which main objective is to self-heal the operation of complex systems in the face of behavioural disruptions. FReSH deals with formally specified components that provide a single piece of functionality. The reusable and shareable nature of these building blocks makes them eligible for dynamically recomposing the functionality provided by any failing component of the system without human intervention. FReSH supports the construction of more flexible, adaptive and robust software structures suitable to cope with the environmental changes of complex systems.