Towards a default reading for constraint diagrams

Fish, Andrew and Howse, John (2004) Towards a default reading for constraint diagrams In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

Full text not available from this repository.


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.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information: The original publication is available at
Uncontrolled Keywords: Visual formalisms; diagrammatic reasoning; software specification; formal methods; constraint diagrams
Subjects: G000 Computing and Mathematical Sciences
DOI (a stable link to the resource): 10.1007/978-3-540-25931-2_8
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 12 Nov 2007
Last Modified: 14 Apr 2015 13:09

Actions (login required)

View Item View Item


Downloads per month over past year