Nesting in Euler Diagrams: syntax, semantics and construction
Tóm tắt
This paper considers the notion of nesting in Euler diagrams, and how nesting affects the interpretation and construction of such diagrams. After setting up the necessary definitions for concrete Euler diagrams (drawn in the plane) and abstract diagrams (having just formal structure), the notion of nestedness is defined at both concrete and abstract levels. The concept of a dual graph is used to give an alternative condition for a drawable abstract Euler diagram to be nested. The natural progression to the diagram semantics is explored and we present a “nested form” for diagram semantics. We describe how this work supports tool-building for diagrams, and how effective we might expect this support to be in terms of the proportion of nested diagrams.
Tài liệu tham khảo
Biggs, N.: Discrete Mathematics 2nd edition, OUP, 2002
Cayley, A.: On the analytical forms called trees. American Journal of Mathematics 4: 266–268, 1881
Euler, L.: Lettres a Une Princesse d’Allemagne, vol 2. Letters No. 102–108, 1761
Flower, J., Howse, J.: Generating Euler Diagrams. Diagrammatic Representation and Inference, Proc. Diagrams 2002, LNAI 2317. Springer Verlag, 2002, pp. 61–75
Flower, J., Howse, J., Taylor, J.: A framework for modelling with heterogeneous notations. Proc IEEE Symp on Human-Centric computing, 2002, pp. 71–73
Flower, J., Howse, J., Taylor, J.: Nesting in Euler Diagrams. Proc. GT-VMT-02, International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, October, 2002, pp. 99–108
Gil, J., Howse, J., Kent, S.: Towards a formalisation of constraint diagrams. Proc IEEE Symp on Human-Centric computing, 2001, pp. 72–79
Harel, D.: On visual formalisms. In: Glasgow, J., Narayan, N.H., Chandrasekaran, B. (eds.) Diagrammatic Reasoning. MIT Press, 1998, pp. 235–271
Howse, J., Molina, F., Shin, S.J., Taylor, J.: On Diagram tokens and types. Diagrammatic Representation and Inference, Proc. Diagrams 2002, LNAI 2317. Springer Verlag, 2002, pp. 146–160
Object Management Group. UML Specification, Version 1.3: www.omg.org
Visual Modelling Group (VMG) at Brighton home page: www.cmis.brighton.ac.uk/Research/vmg