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.

Statistics

Seen <100 times
0 Comments

More articles like this

Engineering the Usability of a Visual Formalism fo...

on Journal of Visual Languages &... Jan 01, 2001

A new formalism that combines advantages of fault-...

on Reliability Engineering & Syst... Jan 01, 2003
More articles like this..