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)
PDF
Language: English |
|
Download this file (PDF/229kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: http://dx.doi.org/10.1109/VLHCC.2009.5295268 |
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) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):