Towards a default reading for constraint diagrams

Andrew Fish, John Howse

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler circles, and include facilities for quantification and navigation of relations. Due to the lack of a linear ordering of symbols inherent in a diagrammatic language which ex- presses logical statements, some constraint diagrams have more than one intuitive meaning. We generalize, from an example based approach, to suggest a default reading for constraint diagrams. This reading is usually unique, but may require a small number of simple user choices.
Original languageEnglish
Title of host publicationProceedings of the 3rd International Conference, Diagrams 2004
EditorsA. Blackwell, K. Marriott, A. Shimojima
Place of PublicationBerlin, Germany
PublisherSpringer
Pages51-65
Number of pages15
Volume2980
ISBN (Electronic)9783540259312
ISBN (Print)9783540212683
DOIs
Publication statusPublished - 1 Jan 2004
EventProceedings of the 3rd International Conference, Diagrams 2004 - Cambridge, UK, 22-24 March, 2004
Duration: 1 Jan 2004 → …

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceProceedings of the 3rd International Conference, Diagrams 2004
Period1/01/04 → …

Bibliographical note

The original publication is available at www.springerlink.com

Keywords

  • Visual formalisms
  • diagrammatic reasoning
  • software specification
  • formal methods
  • constraint diagrams

Fingerprint Dive into the research topics of 'Towards a default reading for constraint diagrams'. Together they form a unique fingerprint.

  • Cite this

    Fish, A., & Howse, J. (2004). Towards a default reading for constraint diagrams. In A. Blackwell, K. Marriott, & A. Shimojima (Eds.), Proceedings of the 3rd International Conference, Diagrams 2004 (Vol. 2980, pp. 51-65). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-540-25931-2_8