Title :
Resource-Definition Policies for Autonomic Computing
Author_Institution :
Comput. Lab., Univ. of Oxford, Oxford
Abstract :
The paper introduces a framework for the formal specification of autonomic computing policies, and uses it to define a new type of autonomic computing policy termed a resource-definition policy. We describe the semantics of resource-definition policies, explain how they can be used as a basis for the development of autonomic system of systems, and present a sample data-centre application built using the new policy type.
Keywords :
formal specification; software fault tolerance; autonomic computing policies; data-centre application; formal specification; resource-definition policies; Computer architecture; Computer interfaces; Control system synthesis; Environmental management; Formal specifications; Knowledge management; Resource management; Runtime; Sensor phenomena and characterization; Sensor systems and applications; autonomic computing; policy; system of systems;
Conference_Titel :
Autonomic and Autonomous Systems, 2009. ICAS '09. Fifth International Conference on
Conference_Location :
Valencia
Print_ISBN :
978-1-4244-3684-2
Electronic_ISBN :
978-0-7695-3584-5
DOI :
10.1109/ICAS.2009.16
