Automatic Visualization of Software Requirements: Reactive Systems
Rodolfo Castelló, R. Zalila Mili, Ioannis G. Tollis, Victor Winter · University of North Texas Digital Library (University of North Texas) · 1999
In this paper we present an approach that facilitates the validation of high consequence system requirements. This approach consists of automatically generating a graphical representation from an informal document. Our choice of a graphical notation is statecharts. We proceed in two steps: we first extract a hierarchical decomposition tree from a textual description, then we draw a graph that models the statechart in a hierarchical fashion. The resulting drawing is an effective requirements assessment tool that allows the end user to easily pinpoint inconsistencies and incompleteness.