Stepwise Development of Peer-to-Peer Systems

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.

• Type: Conference
• Year: 2003
• Where: IWFM
• Authors: Lu Yan, Kaisa Sere
• Keywords: Action Systems Framework, Formal Methods, Gnutella-like Peer-to-peer System, IWFM 2003, Peer-to-Peer System