Loading…

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!

cited_by	cdi_FETCH-LOGICAL-c319t-b9369a98a5be9071aaee41f5fe4a0a67802d0523d43a14698177222847dd46143
cites
container_end_page	1355
container_issue	12
container_start_page	1346
container_title	Proceedings of the IEEE
container_volume	71
creator	Dickson, G.J. de Chazal, P.E.
description	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.
doi_str_mv	10.1109/PROC.1983.12777
format	article
fullrecord	<record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_24054782</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1457045</ieee_id><sourcerecordid>24054782</sourcerecordid><originalsourceid>FETCH-LOGICAL-c319t-b9369a98a5be9071aaee41f5fe4a0a67802d0523d43a14698177222847dd46143</originalsourceid><addsrcrecordid>eNpFkDtPwzAUhS0EEqUwM7B4QGxp_XY8ooiXVKkVlNm6dRxhlMYhTgf-PQmpYLrD-c7R1YfQNSULSolZbl7XxYKanC8o01qfoBmVMs8Yk-oUzQiheWYYNefoIqVPQgiXis_Q5q2H_pBwrHBRvGy3uPTJdaHtQ2xw791HE74OPmFoSgxtWwcHUxRx28U-uljj1HoXqmNyic4qqJO_Ot45en982BbP2Wr99FLcrzLHqemzneHKgMlB7rwhmgJ4L2glKy-AgNI5YSWRjJeCAxXK5FRrxlgudFkKRQWfo7tpd3hj_LC3-5Ccr2tofDwkywSRQudsAJcT6LqYUucr23ZhD923pcSO5uxozo7m7K-5oXF7nIbkoK46aFxIfzUjlGJEDdjNhAXv_f-okJoIyX8Abyt2WA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>24054782</pqid></control><display><type>article</type><title>Status of CCITT description techniques and application to protocol specification</title><source>IEEE Electronic Library (IEL) Journals</source><creator>Dickson, G.J. ; de Chazal, P.E.</creator><creatorcontrib>Dickson, G.J. ; de Chazal, P.E.</creatorcontrib><description>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.</description><identifier>ISSN: 0018-9219</identifier><identifier>EISSN: 1558-2256</identifier><identifier>DOI: 10.1109/PROC.1983.12777</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>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</subject><ispartof>Proceedings of the IEEE, 1983-01, Vol.71 (12), p.1346-1355</ispartof><rights>1984 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c319t-b9369a98a5be9071aaee41f5fe4a0a67802d0523d43a14698177222847dd46143</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1457045$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,27903,27904,54774</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=9466206$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Dickson, G.J.</creatorcontrib><creatorcontrib>de Chazal, P.E.</creatorcontrib><title>Status of CCITT description techniques and application to protocol specification</title><title>Proceedings of the IEEE</title><addtitle>JPROC</addtitle><description>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.</description><subject>Application software</subject><subject>Applied sciences</subject><subject>Australia</subject><subject>Automata</subject><subject>Computer science; control theory; systems</subject><subject>Data communication</subject><subject>Exact sciences and technology</subject><subject>ISO standards</subject><subject>Programming languages</subject><subject>Protocols</subject><subject>Radiofrequency interference</subject><subject>Software</subject><subject>Standardization</subject><subject>Standards development</subject><subject>Telephony</subject><issn>0018-9219</issn><issn>1558-2256</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1983</creationdate><recordtype>article</recordtype><recordid>eNpFkDtPwzAUhS0EEqUwM7B4QGxp_XY8ooiXVKkVlNm6dRxhlMYhTgf-PQmpYLrD-c7R1YfQNSULSolZbl7XxYKanC8o01qfoBmVMs8Yk-oUzQiheWYYNefoIqVPQgiXis_Q5q2H_pBwrHBRvGy3uPTJdaHtQ2xw791HE74OPmFoSgxtWwcHUxRx28U-uljj1HoXqmNyic4qqJO_Ot45en982BbP2Wr99FLcrzLHqemzneHKgMlB7rwhmgJ4L2glKy-AgNI5YSWRjJeCAxXK5FRrxlgudFkKRQWfo7tpd3hj_LC3-5Ccr2tofDwkywSRQudsAJcT6LqYUucr23ZhD923pcSO5uxozo7m7K-5oXF7nIbkoK46aFxIfzUjlGJEDdjNhAXv_f-okJoIyX8Abyt2WA</recordid><startdate>19830101</startdate><enddate>19830101</enddate><creator>Dickson, G.J.</creator><creator>de Chazal, P.E.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19830101</creationdate><title>Status of CCITT description techniques and application to protocol specification</title><author>Dickson, G.J. ; de Chazal, P.E.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c319t-b9369a98a5be9071aaee41f5fe4a0a67802d0523d43a14698177222847dd46143</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1983</creationdate><topic>Application software</topic><topic>Applied sciences</topic><topic>Australia</topic><topic>Automata</topic><topic>Computer science; control theory; systems</topic><topic>Data communication</topic><topic>Exact sciences and technology</topic><topic>ISO standards</topic><topic>Programming languages</topic><topic>Protocols</topic><topic>Radiofrequency interference</topic><topic>Software</topic><topic>Standardization</topic><topic>Standards development</topic><topic>Telephony</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dickson, G.J.</creatorcontrib><creatorcontrib>de Chazal, P.E.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Proceedings of the IEEE</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Dickson, G.J.</au><au>de Chazal, P.E.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Status of CCITT description techniques and application to protocol specification</atitle><jtitle>Proceedings of the IEEE</jtitle><stitle>JPROC</stitle><date>1983-01-01</date><risdate>1983</risdate><volume>71</volume><issue>12</issue><spage>1346</spage><epage>1355</epage><pages>1346-1355</pages><issn>0018-9219</issn><eissn>1558-2256</eissn><coden>IEEPAD</coden><abstract>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.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/PROC.1983.12777</doi><tpages>10</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0018-9219
ispartof	Proceedings of the IEEE, 1983-01, Vol.71 (12), p.1346-1355
issn	0018-9219 1558-2256
language	eng
recordid	cdi_proquest_miscellaneous_24054782
source	IEEE Electronic Library (IEL) Journals
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
title	Status of CCITT description techniques and application to protocol specification
url	http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T06%3A46%3A59IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Status%20of%20CCITT%20description%20techniques%20and%20application%20to%20protocol%20specification&rft.jtitle=Proceedings%20of%20the%20IEEE&rft.au=Dickson,%20G.J.&rft.date=1983-01-01&rft.volume=71&rft.issue=12&rft.spage=1346&rft.epage=1355&rft.pages=1346-1355&rft.issn=0018-9219&rft.eissn=1558-2256&rft.coden=IEEPAD&rft_id=info:doi/10.1109/PROC.1983.12777&rft_dat=%3Cproquest_cross%3E24054782%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c319t-b9369a98a5be9071aaee41f5fe4a0a67802d0523d43a14698177222847dd46143%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=24054782&rft_id=info:pmid/&rft_ieee_id=1457045&rfr_iscdi=true