• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Stepwise Development of Peer-to-Peer Systems

Lu Yan, Kaisa Sere, Stepwise Development of Peer-to-Peer Systems. In: Proceedings of the 6th International Workshop in Formal Methods (IWFM'03), British Computer Society (BCS), 2003.

Abstract:

Peer-to-peer systems like Napster, Gnutella and Kazaa have recently recome 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.

BibTeX entry:

@INPROCEEDINGS{inpYaSe03a,
  title = {Stepwise Development of Peer-to-Peer Systems},
  booktitle = {Proceedings of the 6th International Workshop in Formal Methods (IWFM'03)},
  author = {Yan, Lu and Sere, Kaisa},
  publisher = {British Computer Society (BCS)},
  year = {2003},
  keywords = {Peer-to-peer, action systems, UML, specification, Gnutella},
}

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

Edit publication