-
公开(公告)号：US08495593B2
公开(公告)日：2013-07-23
申请号：US12065105
申请日：2005-09-09
申请人： Gregory D Adams , Jonathan David Bennett , Perry Randolph Giffen , Axel Martens , William Gerald O'Farrell
发明人： Gregory D Adams , Jonathan David Bennett , Perry Randolph Giffen , Axel Martens , William Gerald O'Farrell
CPC分类号： G06F8/00
摘要： 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.
摘要翻译： 状态机程序是从状态机生成的。 状态机具有状态，转换和事件。 生成状态机程序的基本结构。 其基本结构具有在非最终状态下运行的结构。 在用于检测事件的结构内生成语句。 在结构内生成一个语句，用于基于当前状态来评估检测到的事件，以识别当前状态是否对检测到的事件有效。 如果当前状态有效，则在该结构内生成用于确定下一状态的语句。 在结构内生成一条语句，用于将当前状态转换到下一状态。
-
公开(公告)号：US20080263524A1
公开(公告)日：2008-10-23
申请号：US12065105
申请日：2005-09-09
申请人： Gregory D. Adams , Jonathan David Bennett , Perry Randolph Giffen , Axel Martens , William Gerald O'Farrell
发明人： Gregory D. Adams , Jonathan David Bennett , Perry Randolph Giffen , Axel Martens , William Gerald O'Farrell
CPC分类号： G06F8/00
摘要： 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.
摘要翻译： 状态机程序是从状态机生成的。 状态机具有状态，转换和事件。 生成状态机程序的基本结构。 其基本结构具有在非最终状态下运行的结构。 在用于检测事件的结构内生成语句。 在结构内生成一个语句，用于基于当前状态来评估检测到的事件，以识别当前状态是否对检测到的事件有效。 如果当前状态有效，则在该结构内生成用于确定下一状态的语句。 在结构内生成一条语句，用于将当前状态转换到下一状态。
-
搜索结果
2 条记录 (耗时 0.027 秒)
