Spider diagrams augmented with constants: a complete system

Gem Stapleton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review

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.
Original languageEnglish
Title of host publicationProceedings of the 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing
Place of PublicationSkokie, IL, USA
PublisherKnowledge Systems Institute
Pages292-299
Number of pages8
ISBN (Print)1891706233
Publication statusPublished - 4 Sept 2008
EventProceedings of the 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing - Boston, USA, 4-6 September, 2008
Duration: 3 Jan 0001 → …

Conference

ConferenceProceedings of the 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing
Period3/01/01 → …

Fingerprint

Dive into the research topics of 'Spider diagrams augmented with constants: a complete system'. Together they form a unique fingerprint.

Cite this