Euler diagram generation

Flower, Jean, FISH, ANDREW and HOWSE, JOHN (2008) Euler diagram generation Journal of Visual Languages and Computing, 19 (6). pp. 675-694. ISSN 1045-926X

Full text not available from this repository.

Official URL: http://www.sciencedirect.com/science/article/pii/S...

Abstract

Euler diagrams form the basis of many diagrammatic notations used to represent set theoretic relationships in a wide range of contexts including: file system information, statistical data representation, object-oriented modeling, logical specification and reasoning systems, and database search queries. An abstract Euler diagram is a formal abstract description of the information that is to be displayed as a concrete (or drawn) Euler diagram. If the abstract diagram can be visualized, whilst satisfying certain desirable visual properties (called well-formedness conditions), then we say the diagram is drawable. We solve the drawability problem for a given set of well-formedness conditions, identifying the properties which classify a diagram as drawable or undrawable. Furthermore, we present a high level algorithm which enables the generation of a concrete diagram from an abstract diagram, whenever it is drawable.

Item Type:Journal article
Uncontrolled Keywords:Euler diagrams; Automatic generation; Drawability; Logic visualization; Data representation
Subjects:G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource):10.1016/j.jvlc.2008.01.004
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:9865
Deposited By:Converis
Deposited On:09 Feb 2012 12:31
Last Modified:25 Sep 2013 04:01

Repository Staff Only: item control page