Method and System for State Machine Translation
First Claim
1. A method of translating a state machine into a state machine program comprising:
- identifying relationships between states, transitions and events in the state machine;
generating a state machine program having a structure that operates in non-final states; and
generating statements within the structure for detecting an event,evaluating the detected event based on a current state to identify if the current state is valid for the detected event, anddetermining a next state if the current state is valid.
1 Assignment
0 Petitions
Accused Products
Abstract
A state machine program is generated from a state machine. The state machine has states, transitions and events. A basic structure for the state machine program is generated. The basic structure has therein a structure that operates in non-final states. A statement is generated within the structure for detecting an event. A statement is generated within the structure for evaluating the detected event based on a current state to identify if the current state is valid for the detected event. A statement is generated within the structure for determining a next state if the current state is valid. A statement is generated within the structure for transitioning the current state to the next state.
-
Citations
54 Claims
-
1. A method of translating a state machine into a state machine program comprising:
-
identifying relationships between states, transitions and events in the state machine; generating a state machine program having a structure that operates in non-final states; and generating statements within the structure for detecting an event, evaluating the detected event based on a current state to identify if the current state is valid for the detected event, and determining a next state if the current state is valid. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 53, 54)
-
-
13. A method of translating a state machine into a state machine program comprising:
-
identifying relationships between states, transitions and events in the state machine; generating a state machine program having a structure that operates in non-final states; and wherein during execution the structure performs the functions of detecting an event, evaluating the detected event based on a current state to identify if the current state is valid for the detected event, and transitioning the current state to the next state. - View Dependent Claims (14, 15, 16, 17, 18, 19, 20, 21)
-
-
22. A method of generating a state machine program from a state machine, the state machine having states, transitions and events, said method comprising:
-
generating a basic structure for the state machine program, the basic structure having therein a structure that operates in non-final states; generating a statement within the structure for detecting an event; generating a statement within the structure for evaluating the detected event based on a current state to identify if the current state is valid for the detected event; generating a statement within the structure for determining a next state if the current state is valid; and generating a statement within the structure for transitioning the current state to the next state. - View Dependent Claims (23, 24, 25, 26, 27)
-
-
28. A system for translating a state machine into a state machine program comprising:
-
a lexical analyzer for determining states and transitions in the state machine; a parser for determining relationships between events and the determined states and transitions; and a program generator for generating a state machine program, said program generator comprising; a state process component for generating a structure in the state machine program that operates in non-final states, said state process component comprising; an events component for generating a statement within the structure for detecting an event; an event determination component for generating a statement within the structure for evaluating the detected event based on a current state to identify if the current state is valid for the detected event; and a transition component for generating a statement within the structure for determining a next state if the current state is valid. - View Dependent Claims (29, 30, 31, 32, 33, 34, 35)
-
-
36. A computer readable medium having stored thereon computer-executable instructions for translating a state machine into a state machine program, the computer-executable instructions implementing the steps comprising:
-
identifying relationships between states, transitions and events in the state machine; generating a state machine program having a structure that operates in non-final states; and generating statements within the structure for detecting an event, evaluating the detected event based on a current state to identify if the current state is valid for the detected event, and determining a next state if the current state is valid. - View Dependent Claims (37, 38, 39, 40, 41)
-
-
42. A computer readable medium having stored thereon computer-executable instructions for translating a state machine into a state machine program the computer-executable instructions implementing the steps comprising:
-
identifying relationships between states, transitions and events in the state machine; generating a state machine program having a structure that operates in non-final states; and wherein during execution the structure performs the functions of detecting an event, evaluating the detected event based on a current state to identify if the current state is valid for the detected event, and transitioning the current state to the next state. - View Dependent Claims (43, 44, 45, 46, 47)
-
-
48. A computer readable medium having stored thereon computer-executable instructions for generating a state machine program from a state machine, the state machine having states, transitions and events, the computer-executable instructions implementing the steps comprising:
-
generating a basic structure for the state machine program, the basic structure having therein a structure that operates in non-final states; generating a statement within the structure for detecting an event; generating a statement within the structure for evaluating the detected event based on a current state to identify if the current state is valid for the detected event; generating a statement within the structure for determining a next state if the current state is valid; and generating a statement within the structure for transitioning the current state to the next state. - View Dependent Claims (49, 50, 51, 52)
-
Specification