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.


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
Depositing User: Converis
Date Deposited: 09 Feb 2012 12:31
Last Modified: 14 Apr 2015 13:16

Actions (login required)

View Item View Item


Downloads per month over past year