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

fYear

1995

fDate

3-7 Jul 1995

Firstpage

278

Lastpage

282

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;

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.526062

Filename

526062