Title :
Implementation of Estelle specification using Erlang
Author :
Lai, R. ; Tantsis, P.
Author_Institution :
Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
Abstract :
Formal description techniques, like Estelle, are being used for the specifications of telecommunication protocols. While many telecommunication software manufacturers are still using programming languages that were developed in the late 60s or 70s, Ericson´s Computer Science Laboratory in Sweden has developed a new declarative programming language, called Erlang, which supports concurrency, distribution, error handling and code updating. This paper describes how Estelle specifications can be implemented using Erlang
Keywords :
formal specification; programming languages; protocols; specification languages; telecommunication computing; Erlang; Estelle specification; code updating; concurrency; declarative programming language; distribution; error handling; formal description techniques; telecommunication protocols; Computer languages; Computer science; Concurrent computing; Laboratories; Large-scale systems; Message passing; Natural languages; Pattern matching; Real time systems; Signal processing;
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.526062
