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.
原文链接
分享
引用
