Author :
Harel, D. ; Lachover, H. ; Naamad, A. ; Pnueli, A. ; Politi, M. ; Sherman, R. ; Shtul-Trauring, A.
Abstract :
A brief overview is given of the STATEMATE system, a graphical working environment, intended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software. It enable a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing, respectively, structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of state charts used to depict reactive behavior over time. In addition to use of state charts, the main novelty of STATEMATE is in the fact that it understands the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically
Keywords :
automatic programming; programming environments; STATEMATE system; communication systems; complex reactive systems; documentation; graphical languages; interactive software; real-time embedded systems; specification; working environment; Analytical models; Animation; Communication system control; Communication system software; Control systems; Documentation; Embedded software; Embedded system; Real time systems; Software systems;
