A Graph Model Analysis of Computer Communications Protocols,
Abstract
The large scale computer networks being constructed demand that for effective utilization, protocols be established to regulate the communications between the attached computer systems. Assurance that these communications protocols are well behaved (e.g. do not deadlock) must be achieved. This report focuses on the analysis of computer-to-computer communications protocols using graph modeling techniques. Computer-to-computer communications protocols are examined and the issues of error control, flow control, multiplexing, and synchronization are identified and discussed. A sample protocol is developed. The UCLA Graph Model is explained and used to model and analyze the sample protocol. The ARPANET Initial Connection Protocol is also modeled and analyzed with significant results. The concept of a graph module is introduced. Graph modules are defined and used to simplify the model of the sample protocol. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1974
- Accession Number
- AD0777506
Entities
People
- Jonathan Bruce Postel
Organizations
- University of California, Los Angeles