ViSta — Visualizing Statecharts. Statecharts are widely used for the requirements specification of reactive systems. This notation captures the requirements attributes that are concerned with the behavioral features of a system, and models these features in terms of a hierarchy of diagrams and states. The usefulness of statecharts depends primarily on their readability, that is the capability of the drawing to convey the meaning quickly and clearly. Several visualization tools for the specification of reactive systems are available in the market [15],[26],[24],[1]. Even though these tools are helpful in organizing designers’ thoughts, they are mostly sophisticated small scale graphical editors, and therefore are inadequate for the modeling of complex reactive systems. Specifically, hand made diagrams quickly become unreadable when the specification complexity and size increase. Therefore computer assistance is of paramount importance for the graphical representation of complex reactive systems.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element