This section gives a taste of the toolset’s capabilities. See the references tab for more information than given here.
All components are initially launched from the main window. The various types of tables created in the specification will be listed in this window also, in a hierarchical display. Certain analysis results are also displayed in this window.
The specification consists of two basic types of tables. The first is dictionaries, which describe the types used in the specification, variables, and other objects used to describe the specification with the second table type.
The second type of table describes functions; that is, given certain events or conditions, and the current state of the application, what is the output value of a given variable?
The tables include editing functions for building and changing the developing specification.
This checks for correctness and consistency in the tables that describe the specification. Kinds of checks done are syntax and type checking, circular definitions, missing cases, undefined variables, and non-determinism. Any errors found are displayed in the main window under the affected object, making it easy for the user to locate and correct the error.
An existing specification is analyzed to find which objects in the specification depend on which other objects (eg, variables), and a graph of the dependency relationship is created and displayed by this component.
This allows the user to create scenarios, and play them out to check that the specification behaves as expected. The simulator can be run from within the SCR toolset, or it can run separately when code is generated from the specification (one of the functions of the toolset).
The simulator display takes two basic forms. One is an automatically generated tabular display, [associate with the simulator.gif] and the other is graphical, tailored to specific applications. This version requires user extensions, based on a framework built into the toolset.