Affordable Access

Publisher Website

Semi-automatic implementation of transport and session protocols

Authors
Journal
Computer Standards & Interfaces
0920-5489
Publisher
Elsevier
Publication Date
Volume
5
Issue
4
Identifiers
DOI: 10.1016/0920-5489(86)90045-0
Keywords
  • Protocol Implementation
  • Formal Description Techniques
  • Transport Protocol
  • Session Protocol
  • Automated Implementation

Abstract

Abstract The paper describes experience with the use of formal protocol specifications in the protocol implementation process. As formal description techniques (FDT) for OSI protocols are being standardized, formal OSI protocol specifications in these FDT's become available on a trial basis. The technical issues involved in the use of such specifications for the automation of the implementation process are discussed, and the experience with a semi-automated implementation approach for the OSI Transport and Session protocols is described.

There are no comments yet on this publication. Be the first to share your thoughts.