Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

IWFM
2003

favoriteEmaildiscussreport

104views Formal Methods» more IWFM 2003»

Stepwise Development of Peer-to-Peer Systems

13 years 5 months ago

Stepwise Development of Peer-to-Peer Systems

Download www.bcs.org

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.

Lu Yan, Kaisa Sere

Real-time Traffic

Action Systems Framework | Formal Methods | Gnutella-like Peer-to-peer System | IWFM 2003 | Peer-to-Peer System |

claim paper

Related Content

» Development of Flexible PeerToPeer Information Systems Using Adaptable Mobile Agents

» Use of PeerToPeer technology in Internet access networks and its impacts

» P2P over MANET Indirect Treebased Routing

» A Refinement Calculus for the Development of RealTime Systems

» EventB Specification of a Situated MultiAgent System Study of a Platoon of Vehicles

» TransRouter revisited Decision support in the routing of translation projects

» ForMAAD Method An Experimental Design for Air Traffic Control

» Specification based testing of automotive human machine interfaces

» Variability Modelling for ModelDriven Development of Software Product Lines

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	IWFM
Authors	Lu Yan, Kaisa Sere

Comments (0)