Node Coordination in Peer-to-Peer Networks

Abstract : Peer-to-peer networks and other many-to-many relations have become popular especially for content transfer. To better understand and trust these types of networks, we need formally derived and verified models for them. Due to the large scale and heterogeneity of these networks, it may be difficult and cumbersome to create and analyse complete models. In this paper, we employ the modularisation approach of the Event-B formalism to model the separation of the functionality of each peer in a peer-to-peer network from the network structure itself, thereby working towards a distributed, formally derived and verified model of a peer-to-peer network. As coordination aspects are fundamental in the network structure, we focus our formalisation effort in this paper especially on these. The resulted approach demonstrates considerable expressivity in modelling coordination aspects in peer-to-peer networks.
Type de document :
Communication dans un congrès
Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.196-211, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_14〉
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01529605
Contributeur : Hal Ifip <>
Soumis le : mercredi 31 mai 2017 - 10:00:08
Dernière modification le : mercredi 31 mai 2017 - 10:00:57
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 15:04:40

Fichier

978-3-642-30829-1_14_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Luigia Petre, Petter Sandvik, Kaisa Sere. Node Coordination in Peer-to-Peer Networks. Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.196-211, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_14〉. 〈hal-01529605〉

Partager

Métriques

Consultations de la notice

48

Téléchargements de fichiers

10