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

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

【技术实现步骤摘要】
一种基于属性序列图的监听器生成系统和方法
本专利技术涉及一种基于属性序列图的监听器生成系统和方法，涉及对开放环境下对系统进行运行时监控，属于信息

技术介绍
近年来，由于SOA(Service-OrientedArchitecture)这类新范式的出现，软件密集型系统的环境正在从静态、封闭、可控向动态、开放、不可控发展。这种开放环境下的软件系统行为很容易受到其内部框架以及来自外部环境输入的影响，从而导致软件失效。传统的设计时验证技术只能保证软件系统的行为满足封闭或者可控环境下需要的属性，不能完全考虑到系统运行时不停变化的环境以及系统的执行状态。运行验证的主体思想是生成一个可以检查运行时行为是否满足系统需要属性的监控器，这些属性用一种特定的语言表示。属性的验证大多集中在基于逻辑规范和基于场景规范两种方法。基于逻辑的形式通常比基于场景的形式具有更强的表达能力，但是基于场景的方法提供了在工业实践中被广泛采用的图形规范形式。属性序列图是一种基于场景的可视化语言，容易理解并具有较强的表达能力。根据属性序列图的语义将消息分为三类：正则消息（e：）、强制消息（r:）、错误消息（f:）并定义了严格操作（strict），而没有定义严格操作的就是松散顺序。在属性序列图中可对消息添加限制，如:unwantedmessageconstraint、unwantedchainconstraint、wantedchainconstraint等等，这些限制都包含past和future两类。属性序列图还可以用来表示并（parallel）、循环（loop）、交替（alternative）等操作。属性序列图能够克服当前工业中常用符号中存在的诸多表达缺陷。博弈结构在语句结构上跟普通的自动机比较相似，但是不同的是，博弈结构具有多值语义，可以提供更详细的监控结果并且提供所需的信息以实现阻止和恢复失效。而自动机一般只有true和false两个值。博弈结构的状态和消息分别可以分为系统可控和环境可控。本文生成的博弈结构的状态根据系统或者环境、可控或者不可控，可以分为7类来解释PSC的语义：满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例。AspectOrientedProgramming（面向方面编程）可以通过预编译方式和运行期间动态代理实现在不修改源代码的情况下给程序动态的添加功能。AOP代码就是前文提到的“监控器”，根据GS生成AOP代码，本专利技术利用AOP技术可以在不对原有系统代码做任何修改的前提下对各个组件或服务添加监控器，该监控器可以捕捉到系统内部以及系统内部与外部环境之间的信息交互，判断系统的行为是否“合法”，从而达到对整个系统的运行时监控甚至对系统的失效行为做出预测、阻止和恢复。
技术实现思路
专利技术目的：针对现有技术中存在的问题，本专利技术提供一种基于属性序列图的监听器生成系统和方法，提高开放环境下运行时系统的可靠性和安全性。技术方案：一种基于属性序列图的监听器生成系统，包括应用层、用户交互层和逻辑层；a)应用层：该层即为目标系统，监听器的监控对象。首先需要分析应用层系统的内部以及外部交互，得出需求。最终生成的监听器也被应用在应用层，原有系统在监听器的监控下运行，以监控甚至预测、防止系统失效的发生。b)用户交互层：通过名称为“PSC2GS”的桌面端程序实现与用户的交互，其用户交互界面包括属性序列图编辑窗口、博弈结构窗口和监听器生成窗口。c)逻辑层：该层主要有两个逻辑，PSC2GS规则主要将属性序列图编辑窗口中的属性序列图转化成博弈结构并在博弈结构窗口输出；GS2AOP规则主要将博弈结构窗口中的博弈结构转化成Monitors也就是AOP代码并在监听器窗口输出。一种基于属性序列图的监听器生成方法，包括如下步骤：步骤1，设计属性序列图，软件设计者根据开放式系统各个组件之间以及内部组件与外部环境之间的交互在系统(PSC2GS)中的属性序列图编辑窗口(PSCEditor)中画出软件系统中各组件以及内部组件与外部环境之间交互的图形化的流程，即属性序列图。对各个消息加上必要的限制以及对相应的消息加需要的操作。步骤2，生成博弈结构，根据所画属性序列图将可视化的软件系统运行流程转化成文本形式的博弈结构，博弈结构的形式类似自动机但是在状态和消息的表示上略有不同。博弈结构包含了自动化生成监控器的基本信息，比如：消息的source与target，消息的内容以及source端发送消息所调用的方法，target端接受消息所调用的方法、消息的类型内容等等。步骤3，生成Monitor，根据生成的博弈结构，生成相应的监控器。针对系统中每个产生交互的组件或服务都生成一个单独的监控器。步骤4，对目标软件系统进行监控，对每个组件的监控器进行修改，使之可以在目标软件系统中顺利运行从而达到在不修改原有系统的情况下对原有系统进行监控。有益效果：与现有技术相比，本专利技术生成的博弈结构在语句结构上跟普通的自动机比较相似，但是不同的是，自动机一般只有true和false两个值，而博弈结构具有多值语义，可以提供更详细的监控结果并且提供所需的信息以实现阻止和恢复失效。附图说明图1为本专利技术实施例的系统框架图；图2为本专利技术设计系统属性序列图的流程示意图；图3为本专利技术实施例的属性序列图；图4为本专利技术实施例生成的博弈结构以及监听器的截图；图5为本专利技术实施例的目标系统Dict添加了监听器之后的运行结果。具体实施方式下面结合具体实施例，进一步阐明本专利技术，应理解这些实施例仅用于说明本专利技术而不用于限制本专利技术的范围，在阅读了本专利技术之后，本领域技术人员对本专利技术的各种等价形式的修改均落于本申请所附权利要求所限定的范围。如图1所示为本专利技术的系统框架图：a)应用层：该层即为目标系统，监听器的监控对象。首先需要分析应用层系统的内部以及外部交互，得出需求。最终生成的监听器也被应用在应用层，原有系统在监听器的监控下运行，以监控甚至预测、防止系统失效的发生。b)用户交互层：本专利技术具体实现为一款名为“PSC2GS”的桌面端程序，其用户交互界面如图4所示1为属性序列图编辑窗口、2为博弈结构窗口、3为监听器生成窗口。c)逻辑层：该层主要有两个逻辑，PSC2GS规则主要将属性序列图编辑窗口中的属性序列图转化成博弈结构并在博弈结构窗口输出；GS2AOP规则主要将博弈结构窗口中的博弈结构转化成Monitors也就是AOP代码并在监听器窗口输出。如图2为设计系统属性序列图的流程示意图。包括如下步骤：步骤101，熟悉用户需求以及目标系统内部以及系统内部与外部环境之间的交互；步骤102，画出所有参加交互的组件（Bundles）；步骤103，画出所有交互需要的Messages并且赋予Message类型以及Message内容；步骤104，遍历所有Message，为需要加上限制（Strict，UnwantedMessage等等）的Message加上限制；步骤105，根据系统需求为相应的Messages加上Operator（Par，Alt，Loop）；如图3为应用实施例Dict系统的属性序列图。描述了整个查询过程中各Bundle之间的Message交互以及限制。如图4为本实施例的Dict系统属性序列图转化成博弈结构本文档来自技高网...

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

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

【专利技术属性】
技术研发人员：张鹏程，余俊，
申请(专利权)人：河海大学，
类型：发明
国别省市：