Building Finite State Machine Model
First Claim
1. A method of building a finite state machine model, the method comprising:
- displaying (300) on a display a state associated with at least one modelling component, the component comprising information about available triggering events,detecting (302) the state and modelling component obtaining focus,characterized bysearching (304) for possible outgoing state transitions and destination states related to the state with which the at least one modelling component is associated,displaying (306) the found outgoing state transitions and destination states,receiving (308) selections of the state transitions and destination states, andadding (310) the selections to the model describing the finite state machine model.
1 Assignment
0 Petitions
Accused Products
Abstract
A solution for building a finite state machine model is provided. The solution comprises: displaying (300) on a display a state associated with at least one modelling component, the component comprising information about available triggering events, detecting (302) the state and a modelling component obtaining focus, searching (304) for possible outgoing state transitions and destination states related to the state with which the at least one modelling component is associated, displaying (306) the detected outgoing state transitions and destination states, receiving (308) selections of the state transitions and destination states, and adding (310) the selections to the model describing the finite state machine model.
-
Citations
16 Claims
-
1. A method of building a finite state machine model, the method comprising:
-
displaying (300) on a display a state associated with at least one modelling component, the component comprising information about available triggering events, detecting (302) the state and modelling component obtaining focus, characterized by searching (304) for possible outgoing state transitions and destination states related to the state with which the at least one modelling component is associated, displaying (306) the found outgoing state transitions and destination states, receiving (308) selections of the state transitions and destination states, and adding (310) the selections to the model describing the finite state machine model. - View Dependent Claims (2, 4, 5, 6, 7, 8, 9)
-
-
3. The method of claim 3, characterized by displaying the state transitions and destination states included in the finite state machine emphasised compared to state transitions and destination states which are not included in the finite state machine.
-
10. An electronic device comprising a processor (102), a display (104), and input means (106) operatively connected to each other, the processor (102) being configured to create a finite state machine model using modelling components associated with states of the state machine, the component comprising information about available triggering events, the device being configured to
display on the display (104) a state associated with at least one modelling component, detect the state and modelling component obtaining focus, characterized by the device being further configured to search for possible outgoing state transitions and destination states related to the state with which the at least one modelling component is associated, display the found outgoing state transitions and destination states, receive with the input means (106) selections of the state transitions and destination states, and add with the processor (102) the selections to the model describing the finite state machine.
-
14. A computer program product encoding a computer program of instructions for executing a computer process for building a finite state machine model, the process comprising:
-
displaying (300) on a display a state associated with at least one modelling component, the component comprising information about available triggering events, detecting (302) the state and modelling component obtaining focus, characterized by the process further comprising;
searching (304) for possible outgoing state transitions and destination states related to the state with which the at least one modelling component is associated,displaying (306) the found outgoing state transitions and destination states, receiving (308) selections of the state transitions and destination states, and adding (310) the selections to the model describing the finite state machine.
-
-
15. A computer program distribution medium readable by a computer and encoding a computer program of instructions for executing a computer process for building a finite state machine model, the process comprising:
-
displaying (300) on a display a state associated with at least one modelling component, the component comprising information about available triggering events, detecting (302) the state and modelling component obtaining focus, characterized by the process further comprising; searching (304) for possible outgoing state transitions and destination states related to the state with which the at least one modelling component is associated, displaying (306) the detected outgoing state transitions and destination states related to the state the modelling component is associated with, receiving (308) selections of the state transitions and destination states, and adding (310) the selections to the model describing the finite state machine. - View Dependent Claims (16)
-
Specification