Formalizing Spider Diagrams

Gil, Joseph and Howse, John and Kent, Stuart (1999) Formalizing Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press pp. 130-137. ISBN 0-7695-0216-4. (doi: (Full text available)

Download (216kB) Preview
Official URL


Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive Venn diagrams and Euler circles. The language design emphasized scalability and expressiveness while retaining intuitiveness. In this extended abstract we describe spider diagrams from a mathematical standpoint and show how their formal semantics in terms of logical expressions can be made. We also claim that all spider diagrams are self-consistent.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 03 Sep 2009 09:47 UTC
Last Modified: 05 Feb 2016 09:44 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year