Status of CCITT description techniques and application to protocol specification

Standardized data communication procedures facilitate the economical exchange of information between Computer systems interconnected by data networks. These procedures are necessarily complex to support a variety of application with a wide range of network characteristics. Specification of these sta...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the IEEE 1983-01, Vol.71 (12), p.1346-1355
Main Authors: Dickson, G.J., de Chazal, P.E.
Format: Article
Language:English
Subjects:
Application software
Applied sciences
Australia
Automata
Computer science
control theory
systems
Data communication
Exact sciences and technology
ISO standards
Programming languages
Protocols
Radiofrequency interference
Software
Standardization
Standards development
Telephony
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Standardized data communication procedures facilitate the economical exchange of information between Computer systems interconnected by data networks. These procedures are necessarily complex to support a variety of application with a wide range of network characteristics. Specification of these standards using informal techniques can lead to ambiguous interpretation and consequently, incompatible or inefficient implementations. Formal languages are required for more effective specification of future data communication standards by increasing the degree of accuracy, readability, and comprehension. This paper gives an introduction to the revised Specification and Description Language which is a candidate language for protocol specification in CCTTT Recommendations. The relationships between the key concepts in the Specification and Description Language and the Open Systems Interconnection Reference Model are explained and the benefits of the application of the language to the specification of the class 0 transport protocol are illustrated.
ISSN:0018-9219
1558-2256
DOI:10.1109/PROC.1983.12777