Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Stepwise Development of Peer-to-Peer Systems

    6th International Workshop on Formal Methods

    Dublin City University, Ireland. 11 July, 2003


    Lu Yan & Kaisa Sere


    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.


    PDF filePDF Version of this Paper (112kb)