Stage evaluation of a state machine

• US 8,436,726 B2
• Filed: 10/27/2011
• Issued: 05/07/2013
• Est. Priority Date: 09/28/2005
• Status: Active Grant

• Current Assignee: The MathWorks, Inc.
• Original Assignee: The MathWorks, Inc.
• Inventors: Raghavan, Vijay, Mestchian, Ebrahim Mehran
• Primary Examiner(s): POPE, DARYL C
• Application Number:
  US13/283,107
• Publication Number:
  US 20120101971A1
• Time in Patent Office: 558 Days
• Field of Search: 340/506, 340/507, 340/511, 340/521, 340/3.1
• US Class Current: 340/521
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques

Abstract

The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.

Claims

1. A non-transitory computer-readable medium that stores instructions executable by at least one processor, the computer-readable medium storing one or more instructions for:

detecting an event thrown by a first state that is part of a representation of a state machine having states and transitions, the event being thrown during a top-down processing of the representation;

switching from the top-down processing of the representation to a bottom-up processing of the representation;

determining that the event cannot be handled by the first state; and

throwing the event to a second state that is part of the representation, the second state being a superstate of the first state.

2. The medium of claim 1, further storing one or more instructions for:

processing the event at the second state.

3. The medium of claim 1, further storing one or more instructions for:

determining that the event cannot be handled by the second state; and

throwing the event to a third state that is part of the representation, the third state being a superstate of the second state.

4. The medium of claim 1, further storing one or more instructions for:

determining that the event cannot be handled by the second state; and

throwing an error event.

5. The medium of claim 1, further storing one or more instructions for:

determining that the event can be handled by the second state; and

taking a transition from the second state to a third state that is part of the representation.

6. The medium of claim 5, wherein the transition is a late transition.

7. The medium of claim 1, wherein the first state is associated with a transition and the transition is associated with a condition, and wherein it is determined that the event cannot be handled by the first state based on the event not causing the condition to be satisfied.

8. The medium of claim 7, further storing one or more instructions for:

catching the event at the second state; and

processing the event at the second state.

9. The medium of claim 7, further storing one or more instructions for:

determining the event cannot be handled by the second state; and

throwing the event to a third state that is part of the representation, the third state being a superstate of the second state.

10. A method comprising:

detecting an event thrown by a first state that is part of a representation of a state machine having the first state, a second state, and transitions; and

throwing the event to the second state, the second state being a superstate of the first state, the event being thrown to the second state when the first state is incapable of handling the event.

11. The method of claim 10, wherein the method further comprises:

catching the event at the second state; and

processing the event at the second state.

12. The method of claim 10, wherein the method further comprises:

determining the event cannot be handled by the second state; and

throwing the event to a third state that is part of the representation, the third state being a superstate of the second state.

13. The method of claim 10, further comprising:

determining that the event can be handled by the second state; and

taking a transition from the second state to a third state that is part of the representation.

14. The method of claim 13, wherein the transition is a late transition.

15. The method of claim 10, wherein the first state is associated with a transition and the transition is associated with a condition, and wherein the first state is determined as not being capable of handling the event based on the event not causing the condition to be satisfied.

16. A non-transitory computer-readable medium that stores instructions executable by at least one processor, the computer-readable medium storing one or more instructions for:

detecting an event thrown in a first state that is part of a representation of a state machine having states and transitions, the event being thrown during a top-down processing of the representation; and

throwing the event to a second state that is part of the representation, the second state being a superstate of the first state, the event being thrown to the second state based on the first state not being capable of handling the event.

17. The medium of claim 16, further storing one or more instructions for:

catching the event at the second state; and

throwing the event to a third state of the representation, the third state being a superstate of the second state.

18. The medium of claim 16, further storing one or more instructions for:

catching the event at the second state; and

throwing an error event.

19. The medium of claim 16, further storing one or more instructions for:

catching the event at the second state; and

processing the event at the second state, the processing including;

taking a transition from the second state to a third state that is part of the representation.

20. The medium of claim 19, wherein the transition is a late transition.