Towards a default reading for constraint diagrams

Fish, A. and Howse, J. (2004) Towards a default reading for constraint diagrams. In: Blackwell, A., Marriott, K. and Shimojima, A., ed. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004. Springer-Verlag, Berlin, Germany, pp. 51-65. ISBN 9783540212683

Full text available as:

PDF - Repository staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
170 Kb

Official URL: http://www.springerlink.com/content/klf8hylntme909cj/?p=7c8395e980d94cec916a1d776ba7fa0c&pi=7

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 lin- ear 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:Book Section
Additional Information:The original publication is available at www.springerlink.com
Uncontrolled Keywords: Visual formalisms, diagrammatic reasoning, software specification, formal methods, constraint diagrams
Subjects:G000 Computing and Mathematical Sciences
Faculties/Schools:Faculty of Management and Info Sciences > School of Computing Mathematical and Information Sciences > Visual Modelling
ID Code:2878
Deposited By:Helen Webb
Deposited On:12 November 2007

Repository Staff Only: edit this item