Development Model
Rational Statemate facilitates a design process that begins with the construction of a graphical model of a design concept. This design concept is expressed as a set of charts, including statecharts, activity charts, and module charts. The designer creates this graphical representation of the desired product based on a written specification.
How each function performs its job. The logic, ordering, and stimulus/response of each function. How the functionality of the system is decomposed. The interfaces between functional units. How the system is partitioned structurally. The interfaces between structural units.Rational Statemate takes these charts and integrates them into a comprehensive formal model of a system that not only communicates the design intent clearly and precisely, but serves as a solid foundation for meaningful analysis and simulation. The designer creates these charts using Rational Statemate’s language-sensitive and intuitive graphics editors. The editors all work in essentially the same way, though each is optimized for the type of chart being created.
The Properties editor facilitates the precise definition of the type and structure of all data and control elements. It also allows creation of user defined types, including records, unions, queues, and arrays. The properties can also be used to add information such as comments, descriptions, and attributes to all of the elements in the model.
Once the model is built, it can be verified through simulation. A successful simulation suggests a good working model. The Check Model tool performs a more exhaustive verification to ensure that the model is complete and consistent.