Title :
HIRG: a model for defining hierarchical visual languages
Author_Institution :
Fac. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
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;
Conference_Titel :
Visual Languages, 1992. Proceedings., 1992 IEEE Workshop on
Conference_Location :
Seattle, WA
Print_ISBN :
0-8186-3090-6
DOI :
10.1109/WVL.1992.275755
