[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/645971.675055guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Generating Euler Diagrams

Published: 18 April 2002 Publication History

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.

References

[1]
G. Di Battista, P. Eades, R. Tamassia, I. G. Tollis. Graph Drawing: algorithms for the visualization of graphs . Prentice Hall, 1999.
[2]
F. Bertault, P. Eades. Drawing hypergraphs in the subset standard . Springer Verlag, Graph Drawing proceedings, LNCS 1984, 2000.
[3]
N. Biggs, E. K. Lloyd, R. J. Wilson. Graph Theory 1736-1936 OUP, 1976.
[4]
L. Euler. Lettres a Une Princesse d'Allemagne , vol. 2. 1761. Letters No. 102-108.
[5]
J. Gil, J. Howse, S. Kent. Formalising Spider Diagrams. Proc. IEEE Symposium on Visual Languages (VL99) , Tokyo, Sept 1999. IEEE Comp Soc Press, 130-137.
[6]
J. Gil, J. Howse, S. Kent, J. Gil. Towards a formalisation of constraint diagrams. Proc IEEE Symp on Human-Centric computing (HCC'01). Stresa, Sept 2001, p. 72-79.
[7]
E. Hammer. Logic and Visual Information . CSLI Publications, Stanford, 1995.
[8]
J. Howse, F. Molina, J. Taylor. On the completeness and expressiveness of spider diagram systems. Proc. Diagrams 2000 , Edinburgh, Sept 2000. LNAI 1889, Springer-Verlag, 26-41.
[9]
J. Howse, F. Molina, S.-J. Shin, J. Taylor. On diagram tokens and types. Accepted for Diagrams 2002.
[10]
S. Kent. Constraint diagrams: Visualising invariants in object oriented models. proceedings of OOPSLA97 , ACM SIGPLAN Notices 32, 1997.
[11]
F. Molina. Reasoning with extended Venn-Peirce diagrammatic Systems. PhD Thesis, University of Brighton, 2001.
[12]
Object Management Group. UML Specification, Version 1.3: www.omg.org.
[13]
C. Peirce. Collected Papers . Harvard University Press, 1933.
[14]
M. Schaefer and D. ¿tefanikovi¿. Decidability of string graphs . Proc 33rd ACM Symposium on the Thy of Comp, p. 241-246, 2001.
[15]
S.-J. Shin. The Logical Status of Diagrams . CUP, 1994.
[16]
J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. Phil.Mag. , 1880. 123.
[17]
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML . Addison-Wesley, 1998.

Cited By

View all
  • (2016)Wellmatchedness in Euler DiagramsProceedings of the 8th Indian Conference on Human-Computer Interaction10.1145/3014362.3014369(70-74)Online publication date: 7-Dec-2016
  • (2016)The State-of-the-Art of Set VisualizationComputer Graphics Forum10.1111/cgf.1272235:1(234-260)Online publication date: 1-Feb-2016
  • (2015)Sets Visualization using their Graph RepresentationProceedings of the The International Conference on Engineering & MIS 201510.1145/2832987.2833023(1-6)Online publication date: 24-Sep-2015
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
DIAGRAMS '02: Proceedings of the Second International Conference on Diagrammatic Representation and Inference
April 2002
359 pages

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 18 April 2002

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2016)Wellmatchedness in Euler DiagramsProceedings of the 8th Indian Conference on Human-Computer Interaction10.1145/3014362.3014369(70-74)Online publication date: 7-Dec-2016
  • (2016)The State-of-the-Art of Set VisualizationComputer Graphics Forum10.1111/cgf.1272235:1(234-260)Online publication date: 1-Feb-2016
  • (2015)Sets Visualization using their Graph RepresentationProceedings of the The International Conference on Engineering & MIS 201510.1145/2832987.2833023(1-6)Online publication date: 24-Sep-2015
  • (2015)Visualizing Sets with Linear DiagramsACM Transactions on Computer-Human Interaction10.1145/281001222:6(1-39)Online publication date: 24-Sep-2015
  • (2014)How Should We Use Colour in Euler Diagrams?Proceedings of the 7th International Symposium on Visual Information Communication and Interaction10.1145/2636240.2636838(149-158)Online publication date: 5-Aug-2014
  • (2014)eulerForceJournal of Visual Languages and Computing10.1016/j.jvlc.2014.09.00225:6(924-934)Online publication date: 1-Dec-2014
  • (2014)Drawing Euler Diagrams from Region Connection Calculus Specifications with Local SearchProceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 876110.1007/978-3-319-11558-0_41(582-590)Online publication date: 24-Sep-2014
  • (2013)An interactive visualization interface for studying egocentric, categorical, contact diary datasetsProceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining10.1145/2492517.2492636(771-778)Online publication date: 25-Aug-2013
  • (2010)Drawing euler diagrams with circlesProceedings of the 6th international conference on Diagrammatic representation and inference10.5555/1884734.1884745(23-38)Online publication date: 9-Aug-2010
  • (2009)Visualizing and specifying ontologies using diagrammatic logicsProceedings of the Fifth Australasian Ontology Workshop - Volume 11210.5555/2459285.2459292(37-46)Online publication date: 1-Dec-2009
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media