Using PROMPT for the automatic implementation of the ISO ACSE protocol

The implementation of communication protocols requires a large 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 are getting matured, formal specification can facilitate automatic implementation of the protocol standards through the use of a high-level compiler. It has the advantages of eliminating bugs introduced during programming development and producing fast implementation of the standards. This paper describes the experience of using the automated tool, PROMPT, developed by Telecom Australia, for the automatic implementation of an application layer protocol, the ISO Association Control Service Element (ACSE).