Transforming SDL diagrams into a complete visual representation

Author

Lehrenfeld, G. ; Mueller, W. ; Tahedl, C.

Author_Institution

Heinz Nixdorf Inst., Paderborn, Germany

fYear

1995

fDate

5-9 Sep 1995

Firstpage

148

Lastpage

155

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages, Proceedings., 11th IEEE International Symposium on

Conference_Location

Darmstadt

ISSN

1049-2615

Print_ISBN

0-8186-7045-2

Type

conf

DOI

10.1109/VL.1995.520803

Filename

520803

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3030927