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.
[1] Magnus W Froberg. Automatic code generation from SDL to a declarative programming language , 1993 .
[2] Marijan Kunštić,et al. From the SDL Specification Toward the Erlang Implementation , 1998 .
[3] Eric G. Manning,et al. On the Progress of Communications between Two Finite State Machines , 1984, Inf. Control..