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

摘要

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

主权项

一种基于属性序列图的监听器生成系统，其特征在于：包括应用层、用户交互层和逻辑层；应用层：应用层即为目标系统，监听器的监控对象；分析目标系统的内部以及外部交互，得出需求；最终生成的监听器也被应用在应用层，目标系统在监听器的监控下运行，以监控甚至预测、防止系统失效的发生；用户交互层：通过名称为“PSC2GS”的桌面端程序实现与用户的交互，其用户交互界面包括属性序列图编辑窗口、博弈结构窗口和监听器生成窗口；逻辑层：逻辑层包括两个逻辑，两个逻辑分别为PSC2GS规则和GS2AOP规则；PSC2GS规则将属性序列图编辑窗口中的属性序列图转化成博弈结构并在博弈结构窗口输出；GS2AOP规则将博弈结构窗口中的博弈结构转化成监听器也就是AOP代码并在监听器生成窗口输出，AOP为面向方面编程。