Naslov
Specification of Erlang Applications

Autori
Kunštić, Marijan ; Mikuc, Miljenko ; Jukić, Oliver

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the Erlang User Conference - EUC 98 / - Stockholm : Ericsson, 1998, 18.1-18.25

Skup
Erlang User Conference - EUC 98

Mjesto i datum
Stockholm, Švedska, 22.09.1998. - 23.09.1998

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
FDTs; SDL; Erlang

Sažetak
Computer software is overshadowing hardware in cost and complexity and is rapidly becoming the dominant part in the development process of telecommunication systems. FDTs (Formal Description Techniques) represent a promising approach for obtaining confidence in the correctness of system. If we choose Erlang as our implementation language, it is desired to find an appropriate specification language, in order to have easy translation from the specification toward the implementation. We have chosen SDL (Specification and Description Language). SDL is recommended by ITU-T for specification and description of the internal logic processes in SPC telephone exchanges. It is process-based language, with asynchronous message passing between processes, which behave as an extended finite state automaton. This paper is structured as follows: first we will give a brief introduction to SDL with comparison to the Erlang programming language. We will try to show that SDL as a specification language is appropriate for Erlang applications. In the second section we will test similarities between SDL and Erlang during local call handling process specification and implementation. Finally, we will mark some hints connected with design of SDL-to-Erlang translator, which is under construction and will be published in the future.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA