eprintid: 1571 rev_number: 10 eprint_status: archive userid: 31 dir: disk0/00/00/15/71 datestamp: 2013-05-02 12:10:24 lastmod: 2014-01-29 09:50:32 status_changed: 2013-05-02 12:10:24 type: book_section metadata_visibility: show creators_name: Celestini, Alessandro creators_name: De Nicola, Rocco creators_name: Tiezzi, Francesco creators_id: alessandro.celestini@imtlucca.it creators_id: r.denicola@imtlucca.it creators_id: francesco.tiezzi@imtlucca.it title: Specifying and analysing reputation systems with coordination languages ispublished: pub subjects: QA75 divisions: CSA full_text_status: public keywords: Categories and Subject Descriptors: H.4 [Information Systems Applications]: Reputation systems; F.3 [Theory of computation]: Specifying and Verifying and Reasoning about Programs note: SAC '13, Coimbra, Portugal — March 18 - 22, 2013 abstract: Reputation systems are nowadays widely used to support decision making in networked systems. Parties in such systems rate each other and use shared ratings to compute reputation scores that drive their interactions. The existence of reputation systems with remarkable differences calls for formal approaches to their analysis. We present a verification methodology for reputation systems that is based on the use of the coordination language Klaim and related analysis tools. First, we define a parametric Klaim specification of a reputation system that can be instantiated with different reputation models. Then, we consider stochastic specification obtained by considering actions with random (exponentially distributed) duration. The resulting specification enables quantitative analysis of properties of the considered system. Feasibility and effectiveness of our proposal is demonstrated by reporting on the analysis of two reputation models. date: 2013 date_type: published publisher: ACM pagerange: 1363-1368 id_number: 10.1145/2480362.2480618 refereed: TRUE isbn: 978-1-4503-1656-9 book_title: Proceedings of the 28th Annual ACM symposium on applied computing official_url: http://dl.acm.org/citation.cfm?id=2480618&CFID=404444698&CFTOKEN=59891405 citation: Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Specifying and analysing reputation systems with coordination languages. In: Proceedings of the 28th Annual ACM symposium on applied computing. ACM, 1363-1368 . ISBN 978-1-4503-1656-9 (2013) document_url: http://eprints.imtlucca.it/1571/1/sac2013.pdf