Title :
Adjustable deliberation of self-managing systems
Author :
Randles, M. ; Taleb-Bendiab, A. ; Miseldine, P. ; Laws, A.
Author_Institution :
Sch. of Comput. & Math. Sci., Liverpool John Moores Univ., UK
Abstract :
In this paper a cybernetics-based viable system architectural model is introduced, which provides a blueprint for high-assurance systems and a meta-control model necessary for the adjustable deliberation and autonomy of self-managing systems. The logical formalism is provided by the Situation Calculus and underpinned by an Enhanced Belief-Desires-Intentions (EBDI) framework to facilitate the representation and reasoning of scaleable autonomic computing systems.
Keywords :
belief maintenance; self-adjusting systems; software architecture; Enhanced Belief-Desires-Intentions framework; Situation Calculus; autonomic computing system; cybernetics-based viable system; meta-control model; self-managing system; Calculus; Computer architecture; Cybernetics; Humans; Logic; Power system management; Power system modeling; Predictive models; Runtime; Software design;
Conference_Titel :
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Conference_Location :
Greenbelt, MD, USA
Print_ISBN :
0-7695-2308-0
DOI :
10.1109/ECBS.2005.16
