Title :
Formalising pragmatic features of graph-based notations
Author :
Gurr, Corin ; Tourlas, Konstantinos
Author_Institution :
Div. of Inf., Edinburgh Univ., UK
Abstract :
Graph-based notations form a significant subclass of visual languages. Studies of the use of such notations in practice have shown that users often employ pragmatic aspects, such as layout, to capture important domain information. Moreover this pragmatic information can support and guide reasoning over such representations. However, typical formalisations of graph-based notations often pay scant regard to such pragmatic considerations. This paper highlights an algebraic account of graph-based notations which is sensitive to relevant layout information. We illustrate, with examples taken from software engineering practice, how this algebra both captures pragmatic aspects of graphs and supports direct reasoning over their structure
Keywords :
computational linguistics; graph theory; process algebra; software engineering; visual languages; algebraic account; domain information; graph-based notations; layout; pragmatic feature formalisation; reasoning; software engineering practice; visual languages; Algebra; Bridges; Computer science; History; Horses; Humans; Informatics; Logic; Natural languages; Software engineering;
Conference_Titel :
Visual Languages, 1999. Proceedings. 1999 IEEE Symposium on
Conference_Location :
Tokyo
Print_ISBN :
0-7695-0216-4
DOI :
10.1109/VL.1999.795907