NetPrIDE an integrated environment for developing and visualizing computer network protocols

ABSTRACT

In this paper we present NetPrIDE, an integrated development environment for designing, implementing and visualizing computer network protocols, which has primarily been used for teaching computer networks. NetPrIDE makes use of an abstract and formal notation to clearly and firmly specify a protocol: once the protocol has been specified and the network topology has been fixed, the implementation and the visualization of the protocol is performed in a completely automated way.

REFERENCES

• 1: Ken Arnold , James Gosling , David Holmes, The Java Programming Language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 2: Adam Beguelin , Jack J. Dongarra, Graphical development tools for network-based concurrent supercomputing, Proceedings of the 1991 ACM/IEEE conference on Supercomputing, p.435-444, November 18-22, 1991, Albuquerque, New Mexico, United States [doi>10.1145/125826.126059]
• 3: P. Crescenzi, G. Innocenti, and S. Pasqualetti. Implementing and Visualizing Network Protocols. In Proc. of the First Program Visualization Workshop, pages 193--206, 2001.
• 4: Deborah Estrin , Mark Handley , John Heidemann , Steven McCanne , Ya Xu , Haobo Yu, Network Visualization with Nam, the VINT Network Animator, Computer, v.33 n.11, p.63-68, November 2000 [doi>10.1109/2.881696]
• 5: F. Ferri. Progettazione e sviluppo di un tool per la traduzione di protocolli di rete dal linguaggio APN al linguaggio Java. Master's thesis, Università degli Studi di Roma 'La Sapienza', 2001/2002.
• 6: Mohamed G. Gouda, Elements of network protocol design, John Wiley & Sons, Inc., New York, NY, 1998
• 7: Norman C. Hutchinson , Larry L. Peterson, The X-Kernel: An Architecture for Implementing Network Protocols, IEEE Transactions on Software Engineering, v.17 n.1, p.64-76, January 1991 [doi>10.1109/32.67579]
• 8: E. Kraemer. Visualizing concurrent programs. In Software Visualization: Programming as a multimedia experience, pages 237--256. J. Stasko, J. Domingue, M. Brown, and B. Price (eds.), MIT Press, 1997.
• 9: James F. Kurose , Keith Ross, Computer Networking: A Top-Down Approach Featuring the Internet, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
• 10: Chris McDonald, A network specification language and execution environment for undergraduate teaching, Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, p.25-34, March 07-08, 1991, San Antonio, Texas, United States
• 11: Sean W. O'Malley , Larry L. Peterson, A dynamic network architecture, ACM Transactions on Computer Systems (TOCS), v.10 n.2, p.110-143, May 1992 [doi>10.1145/128899.128901]
• 12: Larry L. Peterson , Bruce S. Davie, Computer networks: a systems approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2000
• 13: G.-C. Roman, K. Cox, C. Wilcox, and J. Plun. PAVANE: A system for declarative visualization of concurrent computations. Journal of Visual Languages and Computing, 3:161--193, 1992.
• 14: Andrew S. Tanenbaum, Computer networks (3rd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 15: Jerry Yan , Sekhar Sarukkai , Pankaj Mehra, Performance measurement, visualization and modeling of parallel and distributed programs using the AIMS toolkit, Software—Practice & Experience, v.25 n.4, p.429-461, April 1995 [doi>10.1002/spe.4380250406]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.2 Network Protocols
          Subjects: Protocol verification

Additional Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.1 Computer Uses in Education
          Subjects: Computer-assisted instruction (CAI)
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education

General Terms:
Algorithms, Experimentation, Languages

Keywords:
Java, computer network, protocol, software visualization