Automatic translation from SDL specification to distributed Erlang implementation

This paper is focused on telecommunications system software specification and its implementation. The specification and description language (SDL) is widely used in concurrent system specification. System implementation can be done independent of specification. This paper presents the application of 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 the extended SDL language to support distributed specification. Extension is done within SDL comments, without disturbing SDL language rules. However, the translator is able to read those "hints" for system distribution, and to the generate distributed Erlang code.