Formalizing Pragmatic Features of Graph-Based Notations

  • Authors:
  • Corin Gurr;Konstantinos Tourlas

  • Affiliations:
  • -;-

  • Venue:
  • VL '99 Proceedings of the IEEE Symposium on Visual Languages
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

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 formalizations 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.