Research: The ISO virtual terminal protocol: a semi-automatic implementation

Authors:
R. Lai;M. C. Wong
Affiliations:
School of Computer Science, and Computer Engineering, La Trobe University, Victoria 3083, Australia;School of Computer Science, and Computer Engineering, La Trobe University, Victoria 3083, Australia
Venue:
Computer Communications
Year:
1996

Citing 12
Cited 0

Mechanical verification and automatic implementation of communication protocols

IEEE Transactions on Software Engineering
Semiautomatic Implementation of Communication Protocols

IEEE Transactions on Software Engineering
A practical study of semi-automatic OSI protocol implementation

Software—Practice & Experience
Semi-automatic implementation of OSI protocols

Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
UNIX network programming

UNIX network programming
Automated Protocol Implementation with RTAG

IEEE Transactions on Software Engineering
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler

IEEE Transactions on Software Engineering
NIST Integrated Tool Set for Estelle

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, Implementation and Validation of a Multi-Peer Protocol Using Estelle

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
Use of Estelle, LOTOS and ASN.1 in One Project

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
Linking Specifications with Implementations

FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation

Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI

Quantified Score

Hi-index	0.24

Visualization

Abstract

While there have been reports on the automatic implementation of mid-level and lower layer protocols, there are, however, very very few such reports for application layer protocols. The main reason is that automatic implementation of application protocols is more difficult, as its protocol data units need to be specified in ASN.1 and encoding and decoding of such data is required. This paper presents a semi-automatic implementation of the ISO Virtual Terminal Protocol using a number of tools. It also discusses the experience gained and lessons learnt from this work, including the strengths and weaknesses of using such an approach, and the technical difficulties in bridging the gap between protocol specification, design decisions, implementation decisions and final implementation.