公开(公告)号：CN104077121A

公开(公告)日：2014-10-01

申请号：CN201310111226.4

申请日：2013-03-29

Applicant: 北京大学深圳研究生院

Inventor： 罗永贵 ,  连志斌 ,  谢峥 ,  伍国斌 ,  宋建龙

IPC: G06F9/44

Abstract: 本发明公开了一种实现和管理状态机信息的装置，包括绘制状态机的过程和修改状态机及管理状态机信息的过程。主要技术方案包括：创建状态机；按照预定规则绘制状态机的各个状态；按照预定规则的布局算法对所绘制的状态机的各个状态进行连线布局；用树结构管理状态机各个状态之间的层次关系；用二维表结构对状态机的触发事件、连线权重等进行补充描述。本发明由于按照特定规则对状态机的基本单元进行分组，将组转化为树状图的节点，并将树状图的结构关系信息保存在树状图关系表中，可以很方便的实现层次状态机，使得状态机和树状图之间的转变简单且易于实现，同时根据对状态进行分层可以快速理解状态机。

公开(公告)号：CN103455656A

公开(公告)日：2013-12-18

申请号：CN201310250107.7

申请日：2013-06-17

Applicant: 北京大学深圳研究生院

Inventor： 谢峥 ,  王新安 ,  连志斌 ,  李秋平 ,  刘晴晴 ,  刘畅 ,  柴玲玲

IPC: G06F17/50

Abstract: 本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中，包含一种特殊的状态机核，可以从被验证设计的不同功能角度描述其内部状态，具有容错性和容非完整性，由抽象事件驱动，可以重用早期检验设计功能理解正确性时的分析数据。将参考模型分为不同且固定的耗时过程和非耗时过程，形式了统一的架构，提前将内部的协调工作写成函数库，使用时只需要通过用户自定义部分具体设计特有的属性，完成替换、回调、配置工作，就可以产生对应功能的参考模型，并且重用早期对状态和场景的分析。

公开(公告)号：CN103455656B

公开(公告)日：2017-12-22

申请号：CN201310250107.7

申请日：2013-06-17

Applicant: 北京大学深圳研究生院

Inventor： 谢峥 ,  王新安 ,  连志斌 ,  李秋平 ,  刘晴晴 ,  刘畅 ,  柴玲玲

IPC: G06F17/50

Abstract: 本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中，包含一种特殊的状态机核，可以从被验证设计的不同功能角度描述其内部状态，具有容错性和容非完整性，由抽象事件驱动，可以重用早期检验设计功能理解正确性时的分析数据。将参考模型分为不同且固定的耗时过程和非耗时过程，形式了统一的架构，提前将内部的协调工作写成函数库，使用时只需要通过用户自定义部分具体设计特有的属性，完成替换、回调、配置工作，就可以产生对应功能的参考模型，并且重用早期对状态和场景的分析。