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.