A simulation of the ISO transaction processing protocol

Author

Lai, R.

Author_Institution

Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia

fYear

1995

fDate

3-7 Jul 1995

Firstpage

26

Lastpage

30

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SICON.1995.525986

Filename

525986