[发明专利]一种可动态部署规则的Java程序运行时验证系统

权利要求书

1.一种可动态部署规则的Java程序运行时验证系统，该系统运行于DiSL字节码注入框架之上，包括验证规则翻译器、部署管理器以及运行时引擎三个模块，其特征是：

所述验证规则翻译器用于将验证规则定义文件翻译成由事件注入代码和规则验证代码组合成的验证代码；

所述部署管理器用于提供部署验证代码的相关用户接口；

所述运行时引擎用于根据接收的验证代码中事件注入代码产生的事件序列，为每个监控对象维护一个事件序列，验证维护的事件序列是否与规则验证代码定义的事件序列相同，并根据验证情况通过部署管理器对事件注入代码进行实时部署优化。

2.根据权利要求1所述的可动态部署规则的Java程序运行时验证系统，其特征在于所述验证规则定义文件为AspectJ语言切片语法描述的事件定义和状态机语言定义的事件序列规则。

3.根据权利要求1所述的可动态部署规则的Java程序运行时验证系统，其特征在于所述部署管理器提供的相关用户接口包括：将验证代码注入到目标Java程序的动态部署接口、根据运行时引擎的验证从目标Java程序中移除违反了验证规则和已通过验证的验证代码的动态反部署接口、动态更新目标Java程序中已部署规则的动态重部署接口。

4.根据权利要求1所述的可动态部署规则的Java程序运行时验证系统，其特征是运行时引擎包括规则监控器模块和部署优化器模块：

所述规则监控器模块根据接收的验证代码中事件注入代码产生的事件序列，为每个监控对象维护一个事件序列，验证产生的事件序列是否与规则验证代码定义的事件序列相同；

所述部署优化器模块根据规则监控器的验证结果，将已违背规则验证代码的事件注入代码和路径已完全覆盖的事件注入代码动态移除。

5.根据权利要求1所述的可动态部署规则的Java程序运行时验证系统，其特征在于验证规则翻译器将验证规则定义文件翻译成由事件注入代码和规则验证代码组合成的验证代码的过程为：

a)验证规则翻译器对验证规则进行词法分析，生成token流；

b)验证规则翻译器对token流进行语法分析，生成事件对象集合和规则对象集合；

c)验证规则翻译器分别将事件对象集合和规则对象集合生成为事件注入代码和规则验证代码。