Skip to main content
SpringerLink
Log in

Formalising the Essence of Diagrammatic Syntax

  • Conference paper
  • First Online:
Book cover Theory and Application of Diagrams (Diagrams 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1889))

Included in the following conference series:

  • 934 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, 1990.

    Google Scholar 

  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. 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. David Harel. On visual formalisms. In Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 235–272. MIT Press, 1995.

    Google Scholar 

  5. Saunders MacLane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, 1971.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Division of Informatics, The University of Edinburgh, 2 Buccleuch Place, Edinburgh, EH8 9LW, UK

    Corin Gurr & Konstantinos Tourlas

Authors
  1. Corin Gurr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Konstantinos Tourlas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Hartford, Dana Hall 230, 200 Bloomfield Avenue, West Hartford, Connecticut, 06117, USA

    Michael Anderson

  2. School of Psychology ESRC Centre for Research in Development, Instruction and Training, University of Nottingham, University Park, Nottingham, NG7 2RD, UK

    Peter Cheng

  3. Computer Science Department, University of Hamburg, Vogt-Koelln-Str. 30, 22527, Hamburg, Germany

    Volker Haarslev

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gurr, C., Tourlas, K. (2000). Formalising the Essence of Diagrammatic Syntax. In: Anderson, M., Cheng, P., Haarslev, V. (eds) Theory and Application of Diagrams. Diagrams 2000. Lecture Notes in Computer Science(), vol 1889. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44590-0_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-44590-0_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67915-8

  • Online ISBN: 978-3-540-44590-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation