Задача: Извлечение поведения прецедента на основе состояний
Эта задача определяет поведение блока прецедента на основе его состояний.
Дисциплины: System Engineering Requirements
Назначение
To define the state-based behavior for a use-case block to support verification/validation of a use case through model execution.
Взаимосвязи
Основное описание

In order to verify/validate a use case model through model execution, its state-based behavior needs to be described in a statechart diagram. The derivation of the statechart is based on the functional description, captured in the use-case black-box activity diagram and the associated use-case black-box sequence diagrams. The verification/validation of the detailed architectural design is performed through model execution on the bases of stimuli derived from the black-box sequence diagrams.

Шаги
Identify wait states and action states
Based on the use-case black-box activity diagram and associated use-case black-box sequence diagrams identify wait states and action states. See Deriving Statechart Diagrams for more information.
Identify transitions, triggering events and associated actions
Based on the analysis of the use-case black-box sequence diagrams identify transitions, triggering events and/or guarded condition(s), and associated action(s). See Deriving Statechart Diagrams for more information.
Execute the Statechart
Verify the correctness of the captured state-based behavior through model execution using the use case black-box scenarios as the basis for respective stimuli.
Refactor the Statechart
Once the use case state-based behavior of the use case is captured, look for ways to simplify it by re-structuring the Statechart hierarchically. See Deriving Statechart Diagrams for more information.
Execute the Hierarchical Statechart
Verify the correctness of the captured state-based behavior through model execution using the black-box use-case scenarios as the basis for respective stimuli.
Дополнительные сведения