DocumentCode :
3200269
Title :
Formalising pragmatic features of graph-based notations
Author :
Gurr, Corin ; Tourlas, Konstantinos
Author_Institution :
Div. of Inf., Edinburgh Univ., UK
fYear :
1999
fDate :
1999
Firstpage :
220
Lastpage :
227
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Visual Languages, 1999. Proceedings. 1999 IEEE Symposium on
Conference_Location :
Tokyo
ISSN :
1049-2615
Print_ISBN :
0-7695-0216-4
Type :
conf
DOI :
10.1109/VL.1999.795907
Filename :
795907
Link To Document :
بازگشت