Formal Specification and Analysis of Trusted Communities
Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer · 2010
Trusted Communities are a way to improve the performance of self-organising agent systems by limiting the interactions to trustworthy partners and excluding agents that behaved uncooperatively. We describe the mechanism in an abstract way and identify three central decisions each agent has to make if it supports Trusted Communities. Based on a formal specification of the agent behaviour in an instantiation of the mechanism for Desktop Grid Systems, we identify one of the system goals and show by formal verification that this goal is reached. Additionally, we provide certain requirements for the decision procedures that become evident during the analysis process.