Spider diagrams augmented with constants: a complete system

STAPLETON, GEM (2008) Spider diagrams augmented with constants: a complete system In: Proceedings of the 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 4-6 September, 2008, Boston, USA, 4-6 September, 2008.

[img]
Preview
Text
Stapleton_constants_reasoning_(2).pdf - Submitted Version

Download (230kB) | Preview

Abstract

The use of visual languages in computing is varied, ranging from system modelling to the display of data analyzedin computation processes. A prominent example of a visual notation is the Unified Modelling Language (UML),designed for use by software engineers. Constraint diagrams were proposed as an alternative to the UML's ObjectConstraint Language. Spider diagrams form a fragment of constraint diagrams, and their applications are more broad than just placing constraints on software models, including information visualization and displaying the results of database queries. This paper focuses on spider diagrams augmented with constants that represent specific individuals. We present a sound reasoning system for spider diagrams with constants and establish completeness. Furthermore, the technique used to prove completeness can be adapted to give rise to a decision procedure.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 15 Feb 2012 10:45
Last Modified: 21 May 2014 11:02
URI: http://eprints.brighton.ac.uk/id/eprint/9868

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year