Protocol Representation with Finite-State Models
- 1 April 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 28 (4), 632-643
- https://doi.org/10.1109/tcom.1980.1094686
Abstract
A three-layer model of a computer network is used to introduce the concept of interface and of end-to-end protocols. Using a simple interface protocol as example, finite state automaton and Petri nets are introduced. The idea of an interface machine is rejected and the problems related to the transmission medium are approached. End-to end protocols request a global model which includes two local models and a transmission medium model. However, the local model has to be generalized. This eventually leads to the association of the state of the automaton with a context. Petri nets have also to be expanded. Models presented here have been successfully used for modeling transport protocols.Keywords
This publication has 24 references indexed in Scilit:
- Formal Techniques for Protocol Specification and VerificationComputer, 1979
- Connection management in transport protocolsComputer Networks (1976), 1978
- Modelling and verification of end-to-end transport protocolsComputer Networks (1976), 1978
- Automated protocol validation: One chain of developmentComputer Networks (1976), 1978
- Protocol Validation by Duologue-Matrix AnalysisIEEE Transactions on Communications, 1978
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- Formal verification of parallel programsCommunications of the ACM, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- Representation of process synchronizationPublished by Association for Computing Machinery (ACM) ,1975
- Evaluation nets for computer system performance analysisPublished by Association for Computing Machinery (ACM) ,1972