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

fYear

2010

fDate

27-28 Sept. 2010

Firstpage

190

Lastpage

195

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SASOW.2010.39

Filename

5729620