Stepwise Development of Peer-to-Peer Systems

Abstract

Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the action systems framework by combining UML diagrams. We present our approach via a case study of stepwise development of a Gnutella-like peer-to-peer system.

Contributors

Lu Yan

Kaisa Sere

Conference

Publication date: July 2003

Publication date (Print): July 2003

Pages: 1-16

Affiliations

Turku Centre for Computer Science (TUCS) and

Department of Computer Science, Åbo Akademi University,

FIN-20520 Turku, Finland

Article

DOI: 10.14236/ewic/IWFM2003.4

Copyright statement: © Lu Yan et al. Published by BCS Learning and Development Ltd. 6th International Workshop on Formal Methods, Dublin City University, Ireland

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 6th International Workshop on Formal Methods

Conference acronym: FM

Conference number: 6

Conference location: Dublin City University, Ireland

Conference date: 11 July 2003

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM2003.4

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing