Modular design principles for protocols with an application to the transport layer
Article Abstract:
By using assertional reasoning and a refinement relation between state transition systems a method can be arrived at for specifying protocols, specifying services and constructing protocol specifications by stepwise refinement of service specifications. This method relies on the traditional layered network model where each protocol offers a service to the protocol above it by using the service offered by the protocol below it. The transport layer provides a testing ground for this method since it is used for functions such as electronic mail and file transfer. By using this method it is possible to create specific transport protocols similar to transmission control protocol (TCP) or ISO TP4.
Publication Name: Proceedings of the IEEE
Subject: Electronics
ISSN: 0018-9219
Year: 1991
User Contributions:
Comment about this article or add new information about this topic:
Operation of higher layer data communication protocols over satellite links
Article Abstract:
Minor modifications can be made to the Transport Protocol Class 4, Session Protocol, and FTAM (file transfer, access, and management) protocol that will alleviate the performance degradation caused by satellite propagation delay. For TP-4, a field can be added in the acknowledgement message, which will improve performance. In the Session layer, permitting the option of using expedited data flow for session layer synchronization even when transport expedited flow is available will improve performance. In FTAM, the transfer procedure can be enhanced, which optimizes the procedure.
Publication Name: Proceedings of the IEEE
Subject: Electronics
ISSN: 0018-9219
Year: 1990
User Contributions:
Comment about this article or add new information about this topic: