Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Modular Approach to Formal M...

A Modular Approach to Formal Modelling of Peer-to-Peer Networks

Luigia Petre, Petter Sandvik, Kaisa Sere, A Modular Approach to Formal Modelling of Peer-to-Peer Networks. TUCS Technical Reports 1039, Turku Centre for Computer Science, 2012.

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, there is a need for formally derived and verified models of 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 utilise 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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tPeSaSe12a,
  title = {A Modular Approach to Formal Modelling of Peer-to-Peer Networks},
  author = {Petre, Luigia and Sandvik, Petter and Sere, Kaisa},
  number = {1039},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2012},
  keywords = {formal methods, Event-B, peer-to-peer networks, network protocols, network availability},
  ISBN = {978-952-12-2720-2},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication