SucheFormal 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
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.
in: Budapest
Proceedings of the Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems
Verlag: IEEE
