Nesting in Euler Diagrams: syntax, semantics and construction

Flower, Jean, HOWSE, JOHN and TAYLOR, JOHN (2004) Nesting in Euler Diagrams: syntax, semantics and construction Software and Systems Modeling, 3 (1). pp. 55-67. ISSN 1619-1366

Full text not available from this repository.

Official URL: http://link.springer.com/article/10.1007%2Fs10270-...

Abstract

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.

Item Type:Journal article
Additional Information:The original publication is available at www.springerlink.com
Uncontrolled Keywords:Visual formalisms; Formal methods; Euler diagrams; Nested Euler diagrams; Diagrammatic reasoning
Subjects:G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource):10.1007/s10270-003-0036-8
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:1101
Deposited By:Converis
Deposited On:10 May 2007
Last Modified:09 May 2013 04:00

Repository Staff Only: item control page