Towards a Default Reading for Constraint Diagrams

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 expresses 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. Keywords Visual formalisms, diagrammatic reasoning, software specification, formal methods, constraint diagrams

• Type: Conference
• Year: 2004
• Where: DIAGRAMS
• Authors: Andrew Fish, John Howse
• Keywords: Artificial Intelligence, Constraint Diagrams, Diagrammatic, Diagrammatic Notation, DIAGRAMS 2004