State Machine

The State Machine menu includes a menu for visualization of state models generated based on control flow and a menu for visualization of state models generated based on operation effects.

• The menu for visualization of state models generated based on control flow includes a sub-menu for each of the top-level use cases in the use case model. These sub-menus allow to visualize the control flow state model of their corresponding use case. In addition, a sub-menu titled View StateChart Chart allows to visualize the combined control-flow based state model.
• The menu for visualization of state models generated based on operation effects includes the following sub-menus

  View StateChart

  to show the generated state model without internal states and with complex transitions (with trigger, conditions, reactions).

  View Detailed State Graph

  to show the generated state model with internal states and simple transitions (a single operation per transition).

  Export StateChart in Graphviz dot format

  to export the global State Chart based on operation effects to Graphviz^2.2 dot format. Different tools can then be used to visualize the graph and export in other formats.