Tableaux for Diagrammatic Reasoning

Patrascoiu, Octavian and Thompson, Simon and Rodgers, Peter (2005) Tableaux for Diagrammatic Reasoning. In: Proceedings of the 2005 International Workshop on Visual Languages and Computing. (Full text available)

PDF
Download (413kB)
[img]
Preview

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.

Item Type: Conference or workshop item (UNSPECIFIED)
Additional information: Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Peter Rodgers
Date Deposited: 24 Nov 2008 18:02
Last Modified: 27 Sep 2012 14:22
Resource URI: http://kar.kent.ac.uk/id/eprint/14260 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year