TY - GEN
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=84861711281&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84861711281
SN - 9781607506287
T3 - Proceedings of 9th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_10
BT - Proceedings of 9th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_10
T2 - 9th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_10
Y2 - 29 September 2010 through 1 October 2010
ER -