Advertisement

A Formal Architectural Model for Peer-to-Peer Systems

Chapter

Abstract

For complex software systems, a central design concern is system architecture. The formal approach to architectural specification and refinement provides an effective way to ensure the correctness of those complex designs. In this chapter, we apply formal methods in the development process of a typical peer-to-peer system and demonstrate a stepwise paradigm for specifying, refining and implementing such kind of systems. The architectural considerations, formal specification, and possible refinement directions are discussed in details.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. 1.
    E. K. Lua, J. Crowcroft, M. Pias, R. Sharma, S. Lim: A survey and comparison of peer-to-peer overlay network schemes. IEEE Communications Surveys & Tutorials. (2005) 7: 72–93.CrossRefGoogle Scholar
  2. 2.
    S. Androutsellis-Theotokis, D. Spinellis: A survey of peer-to-peer content distribution technologies. ACM Computing Surveys. 36(4):335C371, December 2004.CrossRefGoogle Scholar
  3. 3.
    C. Huang, J. Li, K. W. Ross: Peer-Assisted VoD: Making Internet Video Distribution Cheap. Proceedings of the 6th International Workshop on Peer-to-Peer Systems (IPTPS’07), Washington, USA, Feb. 2007.Google Scholar
  4. 4.
    S. Guha, N. Daswani, R. Jain: An Experimental Study of the Skype Peer-to-Peer VoIP System. Proceedings of the 5th International Workshop on Peer-to-Peer Systems (IPTPS’06), Santa Barbara, CA, USA, Feb. 2006.Google Scholar
  5. 5.
    E. Anceaume, M. Gradinariu, A. Ravoaja: Incentives for P2P Fair Resource Sharing. Proceedings of the 5th IEEE International Conference on Peer-to-Peer Computing (P2P’05), Konstanz, Germany, 2005.Google Scholar
  6. 6.
    J. Pouwelse, P. Garbacki, J. Wang, A. Bakker, J.Yang, A.Iosup, D.Epema, M.Reinders, M. van Steen, H.Sips: Tribler: A Social-Based Peer-to-Peer System. Proceedings of the 5th International Workshop on Peer-to-Peer Systems (IPTPS’06), Santa Barbara, CA, USA, Feb. 2006.Google Scholar
  7. 7.
    J. Cao, F. B. Liu, C.-Z. Xu: P2PGrid: integrating P2P networks into the Grid environment. Concurrency and Computation: Practice and Experience. Volume 19, Issue 7, pp. 1023–1046, 2006.CrossRefGoogle Scholar
  8. 8.
    R.J.R. Back and K. Sere: From Action Systems to Modular Systems. Software – Concepts and Tools. (1996) 17: 26–39.Google Scholar
  9. 9.
    R.J.R. Back, A.J. Martin and K.Sere: Specifying the Caltech asynchronous microprocessor. Science of Computer Programming. (1996) 26: 79–97.MATHCrossRefGoogle Scholar
  10. 10.
    R.J. Back and J. Wright: Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, Springer-Verlag, 1998.Google Scholar
  11. 11.
    M. Bonsangue, J.N. Kok and K. Sere: An approach to object-orientation in action systems. Proceedings of Mathematics of Program Construction (MPC’98), Marstrand, Sweden, June 1998.Google Scholar
  12. 12.
    E.W. Dijkstra: A Discipline of Programming. Prentice-Hall International, 1976.Google Scholar
  13. 13.
    S. Oeztunali, S. Rusitschka, A. Southall: Multilayer Gnutella ł P2P Resource Sharing with an Efficient Flexible Multi-Keyword Search Facility. Proceedings of the 6th International Workshop on Peer-to-Peer Systems (IPTPS’07), Washington, USA, Feb. 2007.Google Scholar
  14. 14.
    E. Sekerinski and K. Sere: A Theory of Prioritising Composition. The Computer Journal, Volume 39, Issue 8, pp. 701–712.Google Scholar
  15. 15.
    E. Sekerinski and K. Sere (Eds): Program Development by Refinement: Case Studies Using the B Method. Springer-Verlag, 1999.Google Scholar
  16. 16.
    J. I. Khan, A. Wierzbicki (Ed.): Special Issue: Foundation of Peer-to-Peer Computing. Elsevier Journal of Computer Communication, Volume 31, Issue 2, Feb. 2008.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  1. 1.School of Computer Science, University of HertfordshireHatfieldUK

Personalised recommendations