A simulation of the ISO transaction processing protocol

This paper discusses a simulation of the Estelle specifications of the ISO transaction processing protocol using the Estelle development toolset (EDT). The Estelle specification is first checked for syntactical and semantical errors using an Estelle translator and once the specification is error-free, an intermediate form (IF) is produced. A C-code generator is then used to translate the IF into C codes which in turn is used by the simulator EDB is conjunction with same predefined library files.