engleski

Automatic Translation From SDL Specification To Distributed Erlang Implementation

This paper is focused on telecommunications system software specification and its implementation. Specification and Description Language (SDL) is widely used in concurrent system specification,. System implementation can be done independent of specification. This paper presents SDL to Erlang translator that was developed in order to improve translation from formal system specification toward its implementation. Since Erlang supports distributed system implementation, we have extended SDL language to support distributed specifications. Extension is done withi SDL comments, without disturbing SDL language rules. However, translator is able to read those "hints" for system distribution, and to generate distributed Erlang code.

software specification; telecommunication system implementation; Formal Description Techniques; SDL; Erlang; translation

nije evidentirano