Generation Menu

UCEd implements two algorithms for state model generation from use cases: an algorithm based on control flow information in use cases and an algorithm based on operation effects specified in the Domain.

• Control flow based generation infers a state model solely from use cases structure and from use case sequencing statements.
• Operation effects based generation infers a state model where states are characterized by conditions, and these conditions are obtained from the postconditions of operations.

The Generation menu includes a menu for generation based on control flow and a menu for generation based on operation effects.

Each of these menus in turn includes a sub-menu corresponding to each of the top-level use cases in the use case model.

• In the generation based on control-flow menu, the selection of a use case launches the generation of a state model corresponding to the selected use case. The generated state model includes states models for the use cases linked by use case sequencing statements.

  In addition to a sub-menu per use case, the generation based on control-flow menu includes a sub-menu

  Generate StateChart Chart

  to generate a control flow based state model for all the top-level use cases in the use case model. Use case sequencing relations produce UML activity diagrams flownodes.

• In the generation based on operation effects menu, the selection of a use case incrementally adds the use case behavior to a global operation-effect based state model (if it has not already been added).

  In addition to a sub-menu per use case, the generation based on operation effects menu includes sub-menus.

  Add: All Use Cases

  to add all top-level use cases in the use case model to the state model, and

  Reset State Machine

  to blank the state model.