Skip to main content
Article thumbnail
Location of Repository

Generating Euler diagrams

By Jean Flower and John Howse

Abstract

This article describes an algorithm for the automated generation of any Euler diagram starting with an abstract description of the diagram. An automated generation mechanism for Euler diagrams forms the foundations of a generation algorithm for notations such as Harel's higraphs, constraint diagrams and some of the UML notation. An algorithm to generate diagrams is an essential component of a diagram tool for users to generate, edit and reason with diagrams. The work makes use of properties of the dual graph of an abstract diagram to identify which abstract diagrams are "drawable" within given wellformedness rules on concrete diagrams. A Java program has been written to implement the algorithm and sample output is included

Topics: G100 Mathematics
Publisher: Springer-Verlag
Year: 2002
DOI identifier: 10.1007/3-540-46037-3_6
OAI identifier: oai:eprints.brighton.ac.uk:2219

Suggested articles

Citations

  1. (1933). Collected Papers. doi
  2. (1997). Constraint diagrams: Visualising invariants in object oriented models. proceedings of OOPSLA97, doi
  3. (2001). Decidability of string graphs. doi
  4. (1984). Drawing hypergraphs in the subset standard. doi
  5. (1999). Formalising Spider Diagrams. doi
  6. (1999). Graph Drawing: algorithms for the visualization of graphs. doi
  7. (1976). Graph Theory 1736-1936 OUP, doi
  8. Lettres a Une Princesse d’Allemagne, doi
  9. (1995). Logic and Visual Information. doi
  10. (2002). On diagram tokens and types. Accepted for Diagrams doi
  11. (2000). On the completeness and expressiveness of spider diagram systems. doi
  12. On the diagrammatic and mechanical representation of propositions and reasonings. doi
  13. (2001). Reasoning with extended Venn-Peirce diagrammatic Systems.
  14. (1994). The Logical Status of Diagrams. doi
  15. (1998). The Object Constraint Language: Precise Modeling with UML. doi
  16. (2001). Towards a formalisation of constraint diagrams. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.