Formal Aspects of Self-* in Autonomic Networked Computing Systems

A new computing paradigm is currently on spot: autonomic computing (AC), which is inspired by the human autonomic nervous system. AC is characterized by its self-* facets such as self-configuration, self-healing, self-optimization, self-protection and so on. The overarching goal of AC is to realize computer systems, and thus networked computing systems, that can manage themselves without direct human interventions. Meeting this grand challenge of autonomic computing requires a fundamental approach to the notion of self-*. To this end, taking advantage of the categorical approach we establish, in this chapter, a firm formal basis for modeling self-* in autonomic networked computing systems (ANCSs), developing self-* monoid, category of self-* monoids and series of self-* facets. All of these are to achieve formal aspects of the self-*.

Keywords: Autonomic computing (AC), Autonomic networked computing (ANC), Self-*, Formal aspects, Categorical approach

By Phan Cong-Vinh
Chapter title: Formal Aspects of Self-* in Autonomic Networked Computing Systems.
Book title: Autonomic Computing and Networking. 2008
Publisher: Springer, USA