Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 31216

Specification of Erlang Applications


Kunštić, Marijan; Mikuc, Miljenko; Jukić, Oliver
Specification of Erlang Applications // Proceedings of the Erlang User Conference - EUC 98
Stockholm: Ericsson, 1998. str. 18.1-18.25 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 31216 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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
Štokholm, Švedska, 22-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


Projekti:
036004

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (autor)

Avatar Url Miljenko Mikuc (autor)

Avatar Url Oliver Jukić (autor)


Citiraj ovu publikaciju:

Kunštić, Marijan; Mikuc, Miljenko; Jukić, Oliver
Specification of Erlang Applications // Proceedings of the Erlang User Conference - EUC 98
Stockholm: Ericsson, 1998. str. 18.1-18.25 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Kunštić, M., Mikuc, M. & Jukić, O. (1998) Specification of Erlang Applications. U: Proceedings of the Erlang User Conference - EUC 98.
@article{article, year = {1998}, pages = {18.1-18.25}, keywords = {FDTs, SDL, Erlang}, title = {Specification of Erlang Applications}, keyword = {FDTs, SDL, Erlang}, publisher = {Ericsson}, publisherplace = {\v{S}tokholm, \v{S}vedska} }
@article{article, year = {1998}, pages = {18.1-18.25}, keywords = {FDTs, SDL, Erlang}, title = {Specification of Erlang Applications}, keyword = {FDTs, SDL, Erlang}, publisher = {Ericsson}, publisherplace = {\v{S}tokholm, \v{S}vedska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font