School of Computing

Tableaux for Diagrammatic Reasoning

Octavian Patrascoiu, Simon Thompson, and Peter Rodgers

In Philip Cox and Trevor Smedley, editors, Proceedings of the 2005 International Workshop on Visual Languages and Computing, pages 182-196, September 2005 Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.

Abstract

Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but typically they rely on textual notations for logical constraints. In contrast, spider diagrams provide a visual notation for expressing a natural class of set- theoretic statements in a diagrammatic form. In this paper we present a tableau system for spider diagrams, and describe an implementation of the system. In a software development context, the system allows users to explore the implications of design choices, and thus to validate specifications; beyond this, the tableau algorithm and system are of general interest to visual reasoners.

Download publication 403 kbytes (PDF)

Bibtex Record

@inproceedings{2241,
author = {Octavian Patrascoiu and Simon Thompson and Peter Rodgers},
title = {{Tableaux for Diagrammatic Reasoning}},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2241},
    publication_type = {inproceedings},
    submission_id = {20532_1126274357},
    ISBN = {1-891706-17-9},
    booktitle = {Proceedings of the 2005 International Workshop on Visual Languages and Computing },
    editor = {Philip Cox and Trevor Smedley},
    refereed = {Yes},
}

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

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

Last Updated: 21/03/2014