一种基于属性序列图的监听器生成系统和方法

发明专利有效专利

申请号：
CN201310481229.7
IPC分类号：G06F11/30
申请日期：
2013-10-15
申请人：
河海大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于属性序列图的监听器生成系统和方法
申请号	CN201310481229.7	申请日期	2013-10-15
法律状态	授权	申报国家	中国
公开/公告日	2014-01-08	公开/公告号	CN103500134A
优先权	暂无	优先权号	暂无
主分类号	G06F11/30 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/30 监控〔3〕	IPC分类号	G;0;6;F;1;1;/;3;0查看分类表>
申请人	河海大学	申请人地址	江苏省南京市江宁区佛城西路8号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	河海大学	当前权利人	河海大学
发明人	张鹏程;余俊
代理机构	南京苏高专利商标事务所（普通合伙）	代理人	李玉平

摘要

本发明公开一种基于属性序列图的监听器生成系统和方法，通过属性序列图对已知系统的行为的描述，得到与之对应的博弈结构，最终得到与系统以及环境中参加交互的组件一一对应的监听器，对已知系统进行监控，从而达到阻止系统失效的发生的目的，属性序列图编辑器，提供完全图形化的窗口以供用户画出系统中的交互；属性序列图转化为博弈结构的规则(标准)，将属性序列图根据该规则转化成博弈结构；博弈结构窗口，显示由属性序列图生成的博弈结构；博弈结构转化为监听器的规则(标准)，博弈结构根据该规则生成多个监听器；监听器窗口，显示所有的监听器.本发明根据博弈结构具有多值语义的特性，获取更详细的监控结果并且提供所需的信息以实现阻止和恢复失效。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供