Affordable Access

Publisher Website

A Visual Formalism for Computational Tree Logic

Authors
Journal
Journal of Visual Languages & Computing
1045-926X
Publisher
Elsevier
Publication Date
Volume
10
Issue
2
Identifiers
DOI: 10.1006/jvlc.1998.0108
Keywords
  • Information Visualization
  • User Interfaces
  • Visualization Methodology
  • Visual Formalisms
  • Temporal Logic
  • Computer-Aided Verification.
Disciplines
  • Communication
  • Linguistics
  • Mathematics

Abstract

Abstract The recent advances in computer graphics and multimedia technology provide new means for the visualization of abstract information spaces through the use of multi-dimensional and multi-modal communication channels. In the context of computer-aided verification, this potential can be effectively employed to provide visual notations for mathematical formalisms. We describe a visual system which supports visual presentation and manipulation of temporal sequencing properties expressed in the formalism of computation tree logic. The system enforces a metaphoric transposition of the abstract temporal semantics of the logic onto a concrete visual space through the use of 3D graphics, multiple windowing, color associations, and through the joint and coherent exploitation of both textual and graphic representations. This results in a complex interaction environment supporting syntactic parsing, semantic understanding, and visual editing of temporal expressions.

There are no comments yet on this publication. Be the first to share your thoughts.