TY - CHAP
T1 - Formal specification of substitutability property for fault-tolerance in reactive autonomic systems
AU - Kuang, Heng
AU - Bentahar, Jamal
AU - Ormandjieva, Olga
AU - Shafieidizaji, Nassir
AU - Klasa, Stan
PY - 2010
Y1 - 2010
N2 - Multi-Agent Systems (MAS) have been widely proposed and applied to various application domains, such as space exploration missions. MAS can offer greater redundancy, efficiency, and scalability; however, they also raise new challenges, for instance, complex and often unexpected emergent group behavior, which require a formal specification as well as verification. Therefore, we have proposed a formal approach, named Reactive Autonomic Systems Framework (RASF), based on category theory to tackle those challenges. In this paper, we focus on the formal specification of substitutability property for the fault-tolerance and illustrate our approach through a Mars-world case study implemented as MAS using JADEX.
AB - Multi-Agent Systems (MAS) have been widely proposed and applied to various application domains, such as space exploration missions. MAS can offer greater redundancy, efficiency, and scalability; however, they also raise new challenges, for instance, complex and often unexpected emergent group behavior, which require a formal specification as well as verification. Therefore, we have proposed a formal approach, named Reactive Autonomic Systems Framework (RASF), based on category theory to tackle those challenges. In this paper, we focus on the formal specification of substitutability property for the fault-tolerance and illustrate our approach through a Mars-world case study implemented as MAS using JADEX.
KW - category theory
KW - fault-tolerance
KW - Formal specification
KW - multi-agent systems
KW - reactive autonomic systems
KW - substitutability property
UR - http://www.scopus.com/inward/record.url?scp=78049293777&partnerID=8YFLogxK
U2 - 10.3233/978-1-60750-629-4-357
DO - 10.3233/978-1-60750-629-4-357
M3 - Chapter
AN - SCOPUS:78049293777
SN - 9781607506287
T3 - Frontiers in Artificial Intelligence and Applications
SP - 357
EP - 380
BT - New Trends in Software Methodologies, Tools and Techniques
ER -