DocumentCode
1652799
Title
HIRG: a model for defining hierarchical visual languages
Author
El-Kassas, S.
Author_Institution
Fac. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
fYear
1992
Firstpage
237
Lastpage
239
Abstract
Addresses the issue of the formal definition of hierarchical visual languages. It is motivated by interest in formal system development and the use of visual languages as formal specification tools. The paper presents a formal model of hierarchical visual languages. This model, called HIRG (hierarchical icon-replacement grammar), is then extended to enable the integration of textual and visual notations
Keywords
formal specification; grammars; hierarchical systems; specification languages; visual languages; HIRG; formal definition; formal specification; formal system development; hierarchical icon-replacement grammar; hierarchical visual languages; textual notations; visual notations; Connectors; Digital systems; Formal specifications; Humans; Joining IEEE; Joining processes; Logic; Vocabulary;
fLanguage
English
Publisher
ieee
Conference_Titel
Visual Languages, 1992. Proceedings., 1992 IEEE Workshop on
Conference_Location
Seattle, WA
Print_ISBN
0-8186-3090-6
Type
conf
DOI
10.1109/WVL.1992.275755
Filename
275755
Link To Document