Abstract

The rapidly growing complexity of integrating and monitoring computing systems is beyond the capabilities of even the most expert systems and software developers. The solution is systems must learn to monitor their own behaviors and conform to the requirements – a vision referred to as Autonomic Computing. Reactive Autonomic Systems Framework (RASF) is introduced for real-time reactive systems, which contain autonomic self-managing properties and are adaptive to their environments.

The goal of this thesis is about modeling Multi-Agent Systems (MAS) with Category Theory (CAT). MAS is introduced as the realization of Reactive Autonomic Systems, and Jadex is used as a representation of MAS approach. This thesis respects Belief-Desire-Intension (BDI) agent architecture, models the entire Multi-Agent Systems (MAS), zooms into individual intelligent agent, analyzes the relationships among agent plans, goals and beliefs, and provides a fully formal CAT representation on MAS structure. Furthermore, this thesis proposes a formalization of fault-tolerance property of MAS using CAT.