Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A validation of the OSI session layer protocol
Computer Networks and ISDN Systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Semiautomatic Implementation of Communication Protocols
IEEE Transactions on Software Engineering
A perspective on advanced peer-to-peer networking
IBM Systems Journal
Specifications of a simplified transport protocol using different formal description techniques
Computer Networks and ISDN Systems
Design and validation of computer protocols
Design and validation of computer protocols
The Design and Implementation of an ASN.1-C Compiler
IEEE Transactions on Software Engineering
Protocol validation: principles and applications
Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Experiences with a random test driver
Computer Networks and ISDN Systems
Communicating sequential processes
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Computer Systems: Reliable full-duplex file transmission over half-duplex telephone line
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
IEEE Transactions on Software Engineering
Some Experience with Test Sequence Generation for Protocols
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
The importance of the service concept in the design of data communications protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
The Challenges Facing Formal Description Techniques
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
ASN.1 and Estelle Implementation Support Tools
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Design principles for network interconnection
SIGCOMM '79 Proceedings of the sixth symposium on Data communications
Complex information processing: a file structure for the complex, the changing and the indeterminate
ACM '65 Proceedings of the 1965 20th national conference
Communication protocols and error recovery procedures
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Presentation and major design aspects of the CYCLADES computer network
DATACOMM '73 Proceedings of the third ACM symposium on Data communications and Data networks: Analysis and design
Survey of protocol definition and verification techniques
ACM SIGCOMM Computer Communication Review
Structured Specification of Communicating Systems
IEEE Transactions on Computers
A Validation Technique for Tightly Coupled Protocols
IEEE Transactions on Computers
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Computer
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Using First-Order Logic to Reason about Submodule Construction
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
General technique for communications protocol validation
IBM Journal of Research and Development
Automated validation of a communications protocol: the CCITT X.21 recommendation
IBM Journal of Research and Development
Advanced program-to-program communication in SNA
IBM Systems Journal
Design principles for communication gateways
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
During the 1970s and 1980s, the first computer communication networks were designed and implemented in the research and commercial sectors. Many of the protocols developed during that time are still in use today. This paper starts by giving an overview of these developments. Then it concentrates on the development of protocol engineering, that is, the methods for the specification of communication protocols and services, the verification of protocols and their implementation and testing. After personal views of the developments in the 1970s, the basic concepts developed at that time are explained. The standardization of Formal Description Techniques in the 1980s is discussed in the following section, as well as the standardization of conformance testing. The purpose of the paper is to show the long way we have come and to suggest that many of the basic concepts have not changed too much during these years, although more detailed aspects have evolved and given rise to new technological developments.