Skip to main content
Kent Academic Repository

Changing Euler Diagram Properties by Edge Transformation of Euler Dual Graphs

Howse, John, Rodgers, Peter, Stapleton, Gem (2009) Changing Euler Diagram Properties by Edge Transformation of Euler Dual Graphs. In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009). 25. pp. 182-196. IEEE ISBN 978-1-4244-4876-0. (doi:10.1109/VLHCC.2009.5295268) (KAR id:30594)

Abstract

Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawing have been proposed, contributing to the Euler diagram generation problem: given an abstract description, draw an Euler diagram with that description and which possesses certain properties. A common generation method is to find a dual graph from which an Euler diagram is subsequently created. In this paper we define transformations of the dual graph that allow us to alter the properties that the generated diagram possesses. In addition, because the dual graph of a previously generated diagram can be found, our transformations can be used to take such a diagram and produce a new diagram with the same abstract description, but with different properties. As a result, we can produce a variety of different diagrams for any given abstract description, allowing us to choose an Euler diagram that conforms to the properties that a user prefers.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1109/VLHCC.2009.5295268
Uncontrolled keywords: determinacy analysis, Craig interpolants
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Peter Rodgers
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 16 Nov 2021 10:08 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30594 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.