engleski

Specification of Erlang Applications

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.

FDTs; SDL; Erlang

nije evidentirano