Skip to Main Content
Autonomic computing has emerged as a paradigm for distributed computing systems to stem the tide of rapidly increasing complexity and evolution problem. In this paper, a two-layer self-reflection model for Autonomic Computing systems (ACs) based on pi-calculus is proposed from a theoretical point of view, which integrates self-awareness and context-awareness into a single model and provides a formal, verifiable basis for the development and further studies of ACs. According to the hierarchical structure, it does not only reduce the latency time of self-awareness in local domain but also gives consideration to the overall objectives of the system. In addition, the model is checked by MWB.