School of Computing

Formalizing Spider Diagrams

J Gil, J Howse, and S Kent

In Proceedings of IEEE Symposium on Visual Languages (VL99), pages 182-196. IEEE Computer Society Press, December 1999.

Abstract

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.

Download publication 137 kbytes (PDF)

Bibtex Record

@inproceedings{980,
author = {J Gil and J Howse and S Kent},
title = {{Formalizing Spider Diagrams}},
month = {December},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/980},
    booktitle = {Proceedings of IEEE Symposium on Visual Languages (VL99)},
    publication_type = {inproceedings},
    publisher = {IEEE Computer Society Press},
    submission_id = {9909_950003616},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014