Advertisement

Formalising the Essence of Diagrammatic Syntax

  • Corin Gurr
  • Konstantinos Tourlas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1889)

Abstract

Diagrams have a long history as visual aids which assist in structuring and simplifying potentially complex reasoning tasks. Recent years have witnessed a rapid, ongoing popularisation of diagrammatic notations in the specification, modelling and programming of computing systems, leading to diagrammatic languages requiring increasingly complex semantic interpretations. A general theory of diagrammatic languages, following those of more typical text-based languages, requires as a minimum an account of diagram syntax, of semantics, and of interpretations: the relationships between syntax and semantics. A satisfactory theory of diagrams must also account for more cognitive aspects, notably the ways in which pragmatic features of diagrams contribute to their effectiveness for human users, and how individual cognitive differences affect human interpretation of diagrams.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, 1990.Google Scholar
  2. 2.
    J. Barwise and J Etchemendy. Heterogeneous logic. In J. Glasgow, N. H. Narayan, and B. Chandrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 211–234. MIT Press, 1995.Google Scholar
  3. 3.
    Corin A. Gurr. On the isomorphism, or lack of it, of representations. In Kim Marriot and Bemd Meyer, editors, Visual Language Theory, chapter 10, pages 293–305. Springer, 1998.Google Scholar
  4. 4.
    David Harel. On visual formalisms. In Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 235–272. MIT Press, 1995.Google Scholar
  5. 5.
    Saunders MacLane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, 1971.Google Scholar
  6. 6.
    D. Wang, J. Lee, and H. Zeevat. Reasoning with diagrammatic representations. In Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 211–234. MIT Press, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Corin Gurr
    • 1
  • Konstantinos Tourlas
    • 1
  1. 1.Division of InformaticsThe University of EdinburghEdinburghUK

Personalised recommendations