engleski

Automatic Erlang Code Generation from SDL Specification

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. In order to improve translation from the formal system specification toward its implementation we have developed SDL to Erlang translator. This paper is structured as follows: first we will give a brief introduction to SDL (Specification and Description Language) and Erlang programming language. Since relations between those languages are considered in previous works, we will not focus on it. In the second section we will describe development of our SDL to Erlang translator. Finally, we will give some hints for our future work.

FDTs; SDL; Erlang; translation

nije evidentirano