870
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Stepwise Development of Peer-to-Peer Systems

      Published
      proceedings-article
      ,
      6th International Workshop on Formal Methods (FM)
      Formal Methods
      11 July 2003
      stepwise, peer-to-peer, action systems, specification, Gnutella
      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            July 2003
            July 2003
            : 1-16
            Affiliations
            [0001]Turku Centre for Computer Science (TUCS) and

            Department of Computer Science, Åbo Akademi University,

            FIN-20520 Turku, Finland
            Article
            10.14236/ewic/IWFM2003.4
            d9f174b5-e3cd-480c-9e34-6284ee4cfbe3
            © Lu Yan et al. Published by BCS Learning and Development Ltd. 6th International Workshop on Formal Methods, Dublin City University, Ireland

            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/

            6th International Workshop on Formal Methods
            FM
            6
            Dublin City University, Ireland
            11 July 2003
            Electronic Workshops in Computing (eWiC)
            Formal Methods
            History
            Product

            1477-9358 BCS 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
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Gnutella,action systems,stepwise,specification,peer-to-peer

            Comments

            Comment on this article