发明名称 |
Method and system for state machine translation |
摘要 |
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.
|
申请公布号 |
US8495593(B2) |
申请公布日期 |
2013.07.23 |
申请号 |
US20080065105 |
申请日期 |
2008.02.28 |
申请人 |
ADAMS GREGORY D;BENNETT JONATHAN DAVID;GIFFEN PERRY RANDOLPH;MARTENS AXEL;O'FARRELL WILLIAM GERALD;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
ADAMS GREGORY D;BENNETT JONATHAN DAVID;GIFFEN PERRY RANDOLPH;MARTENS AXEL;O'FARRELL WILLIAM GERALD |
分类号 |
G06F9/44;G06F9/45 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|