Title :
Transforming SDL diagrams into a complete visual representation
Author :
Lehrenfeld, G. ; Mueller, W. ; Tahedl, C.
Author_Institution :
Heinz Nixdorf Inst., Paderborn, Germany
Abstract :
We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification
Keywords :
computer animation; diagrams; formal specification; program debugging; program interpreters; specification languages; visual languages; visual programming; Ethernet CSMA/CD; PJ; Pictorial Janus programs; SDL diagrams; Timed PJ; animation; process diagrams; protocol specification; specification; specification language; timing concepts; visual debugging; visual representation; Animation; Computer languages; Debugging; Environmental management; Ethernet networks; Multiaccess communication; Protocols; Prototypes; Timing; Visualization;
Conference_Titel :
Visual Languages, Proceedings., 11th IEEE International Symposium on
Conference_Location :
Darmstadt
Print_ISBN :
0-8186-7045-2
DOI :
10.1109/VL.1995.520803
