Title :
Formal Specification and Analysis of Trusted Communities
Author :
Steghöfer, Jan-Philipp ; Nafz, Florian ; Reif, Wolfgang ; Bernard, Yvonne ; Klejnowski, Lukas ; Hähner, Jörg ; Muller-Schloer, Christian
Author_Institution :
Inst. for Software & Syst. Eng., Augsburg Univ., Augsburg, Germany
Abstract :
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.
Keywords :
decision support systems; formal specification; formal verification; grid computing; security of data; software agents; central decision; desktop grid system; formal specification; formal verification; self-organising agent system; trusted communities; trustworthy partner; Communities; Concrete; Conferences; Electronic mail; Modeling; Payloads; agents; formal methods; trust;
Conference_Titel :
Self-Adaptive and Self-Organizing Systems Workshop (SASOW), 2010 Fourth IEEE International Conference on
Conference_Location :
Budapest
Print_ISBN :
978-1-4244-8684-7
DOI :
10.1109/SASOW.2010.39
