Title :
A simulation of the ISO transaction processing protocol
Author_Institution :
Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia
Abstract :
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
Keywords :
ISO standards; digital simulation; program compilers; protocols; software tools; specification languages; transaction processing; C-code generator; Estelle development toolset; Estelle specifications; Estelle translator; ISO transaction processing protocol; intermediate form; library files; semantical errors; simulation; syntactical errors; Code standards; Communication standards; Computational modeling; Computer errors; Computer science; Computer simulation; Formal specifications; ISO standards; Libraries; Protocols;
Conference_Titel :
Networks, 1995. Theme: Electrotechnology 2000: Communications and Networks. [in conjunction with the] International Conference on Information Engineering., Proceedings of IEEE Singapore International
Print_ISBN :
0-7803-2579-6
DOI :
10.1109/SICON.1995.525986
