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.

Computer science, Technical, Network architectures, Network Models, Network Architecture, Transport Layer Control

---

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.

Satellite communications, Communications, Telecommunications transmission technologies, Networks, Communication, Data Communications, ISO, technical

---

Similar abstracts:

• Abstracts: Services and Protocols of the Data Link Layer. OSI Session Layer: Services and Protocols. Services and Protocols of the Physical Layer

This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible.