Visualizing graphical and textual formalisms

ViSta is a tool suite designed to support the requirements specification of reactive systems. It guides the user through the steps necessary for the visualization of statechart diagrams from an informal document. The user first extracts information from a textual document and stores into a set of in...

Full description

Saved in:
Bibliographic Details
Published in:Information systems (Oxford) 2003-10, Vol.28 (7), p.753-768
Main Authors: Castello, R, Mili, R
Format: Article
Language:English
Subjects:
Computerized information storage and retrieval
Graphic user interface
Human-computer interaction
Searching
Software
Vista
Visualization
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:ViSta is a tool suite designed to support the requirements specification of reactive systems. It guides the user through the steps necessary for the visualization of statechart diagrams from an informal document. The user first extracts information from a textual document and stores into a set of interactive templates. The information is used by the tool to automatically generate statechart layouts. In this paper we describe how ViSta is augmented with a tool that automatically translates statecharts into Z specifications. The template, statechart and Z representations are inter-related. This ensures consistency between the different representations, and therefore facilitates the verification and validation effort.
ISSN:0306-4379
1873-6076
DOI:10.1016/S0306-4379(02)00081-9