On using PROMPT for the automatic implementation of the ISO ACSE protocol☆

https://doi.org/10.1016/0164-1212(94)00052-OGet rights and content

Abstract

Implementation of communication protocols requires a huge amount of programmers' effort. New protocols are being introduced and old ones are being updated. More effective methods are needed for fast implementation of new protocol standards. As formal description techniques mature, formal specification can facilitate automatic implementation of protocol standards through the use of a high-level compiler. This has the advantages of eliminating bugs introduced during programming development and producing fast implementation of the standards. This article describes use of the automated tool, PROMPT, developed by Telecom Australia, for the automatic implementation of an application layer protocol, the ISO association control service element protocol.

References (14)

  • J. Billington

    Specification of the transport service using numerical Petri nets

  • G.V. Bochmann et al.

    Semi-Automatic Implementation of Communication Protocols

    IEEE Trans. Software Eng.

    (1987)
  • D.A. Ford

    Semi-Automatic Implementation of Network Protocols

  • G.C. Illing

    Automatic Petri-Net Based Protocol Implementation

  • ISO

    Information Processing System—Open Systems Interconnection—Association Control Service Element

    ISO 8650

    (1988)
  • ISO

    Information Processing System—Open Systems Interconnection—Specification of Abstract Syntax Notation One (ASN.1)

    ISO 8824

    (1992)
  • ISO

    Information Processing System—Open Systems Interconnection—Specification of ASN.1 Encoding Rules—Basic Encoding Rules

    ISO 8825

    (1992)
There are more references available in the full text version of this article.

Cited by (0)

☆

A preliminary version of this paper was presented at the International Conference on Networks, Singapore, September, 1993.

View full text
Copyright © 1995 Published by Elsevier Inc.