NDLI: A grammar-based methodology for protocol specification and implementation

Please wait, while we are loading the content...

Development of a TCP/IP for the IBM/370

Performance improvements for ISO transport

An internodal protocol for packet switched data networks

Protocols for large data transfers over local networks

Ku-Band earth stations for data communications (panel session) (title only)

A new technique for generating protocol test

An algorithm for distributed computation of a spanningtree in an extended LAN

Modeling physical layer protocols using communicating finite state machines

A grammar-based methodology for protocol specification and implementation

DARPA interdomain addressing (panel session, title only)

Domain names (panel session, abstract only): hierarchy in need of organization

Domain names (panel session, abstract only): more questions than answers

Operational experience with packet switching networks (panel session, title only)

Chairman's remarks (panel session, abstract only)

Datapac (panel session, abstract only)

Line operations network growth issues (panel session, abstract only)

Technology for managing large packet switching networks (panel session, abstract only)

Operations considerations in a large privated packet switching network

Solving growth problems in a rapidly expanding PDN (panel session, abstract only)

Window selection in flow controlled networks

Strategies for optimal capacity allocations in DAMA satellite communication systems

Integrating satellite links into a land-based packet network

Directory services/IBM versus CCITT (panel session, title only)

An integrated test center for SL-10 packet networks

A new method for topological design in large, traffic laden packet switched networks

Design of an integrated services packet network

Mixing traffic in a buffered banyan network

A resilient communication structure for local area networks

ALPHA transport

Remote procedure calls varsus problem-orinted protocols (panel session, title only)

Issues in using DARPA domain names for computer mail

A path-oriented routing strategy for packet switching networks with end-to-end protocols

Host groups: a multicast extension for datagram internetworks

Integrated services digital network (ISDN, panel)

An approach for interconnecting SNA and XNS Networks

CNMGRAF—graphic presentation services for network management

End user applications (panel session, title only)

ISDN architecture: a basis for new services

A grammar-based methodology for protocol specification and implementation

Content Provider	ACM Digital Library
Author	Landweber, Lawrence H. Anderson, David P.
Abstract	A new methodology for specifying and implementing communication protocols is presented. This methodology is based on a formalism called “Real-Time Asynchronous Grammars” (RTAG), which uses a syntax similar to that of attribute grammars to specify allowable message sequences. In addition RTAG provides mechanisms for specifying data-dependent protocol activities, real-time constraints, and concurrent activities within a protocol entity. RTAG encourages a top-down approach to protocol design that can be of significant benefit in expressing and reasoning about highly complex protocols. As an example, an RTAG specification is given for part of the Class 4 ISO Transport Protocol (TP-4).Because RTAG allows protocols to be specified at a highly detailed level, major parts of an implementation can be automatically generated from a specification. An RTAG parser can be written which, when combined with an RTAG specification of a protocol and a set of interface and utility routines, constitutes an implementation of the protocol. To demonstrate the viability of RTAG for implementation generation, an RTAG parser has been integrated into the kernel of the 4.2 BSD UNIX operating system, and has been used in conjunction with the RTAG TP-4 specification to obtain an RTAG-based TP-4 implementation in the DoD Internet domain.
Starting Page	63
Ending Page	70
Page Count	8
File Format	PDF
ISBN	0897911644
DOI	10.1145/319056.319006
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1985-09-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in