[发明专利]一种线性时态逻辑规范的通用并行挖掘系统

权利要求书

1.一种线性时态逻辑规范的通用并行挖掘系统，包括顺序连接的如下模块：

预处理模块，用于对日志文件进行分割，分离出日志文件中的独立轨迹，获取日志文件中所有事件的集合以及每个事件在独立轨迹中出现的位置；

规范实例生成模块，用于根据输入的规范模板集合，将其中的变量与日志事件集合中的事件依次进行绑定，以获取规范实例候选集合；

规范实例验证模块，用于依次对规范实例候选集合中的规范实例进行验证，计算其在日志中的支持度、置信度情况；

结果筛选模块，用于根据输入的挖掘要求，从规范实例候选集合中去除支持度、置信度不符合要求的规范实例。

2.如权利要求1所述的线性时态逻辑规范的通用并行挖掘系统，其特征在于，所述预处理模块包括顺序连接的如下三个单元：

轨迹分离单元，用于通过文本处理，将日志中的数据读取到内存中，按照分隔符进行分离，获取一个元素为单条轨迹所组成的集合；

事件集合获取单元，用于分别扫描每条轨迹，使用上述分隔符对轨迹进行分割处理，获取原子事件集合；

事件位置信息获取单元，用于扫描每条轨迹，记录事件在轨迹中出现的位置信息。

3.如权利要求2所述的线性时态逻辑规范的通用并行挖掘系统，其特征在于，其特征在于：

所述预处理模块顺序地从日志文件中读取字符串，在遇到分隔符时，识别并判断该分隔符为事件分隔符或者是轨迹分隔符，若为轨迹分隔符，则当前轨迹终止并新建一个轨迹存储对象；若为事件分隔符，则记录新的事件位置信息，并将该事件加入到事件集合之中。

4.如权利要求1所述的线性时态逻辑规范的通用并行挖掘系统，其特征在于，所述规范实例生成模块包括顺序连接的如下三个单元：

规范模板分析单元，用于对输入的规范模板进行语法分析，获取规范模板中的变量；

变量绑定单元，用事件集合中的事件对规范模板中的变量进行替换，即将规范模板中的变量绑定为特定的事件；

实例生成单元，用于生成实例，规范模板中的变量在绑定事件后，成为一个具体的规范实例，不同规范模板变量绑定不同的事件，以生成不同的规范实例。

5.如权利要求1所述的线性时态逻辑规范的通用并行挖掘系统，其特征在于，所述规范实例验证模块包括顺序连接的如下三个单元：

初始化单元，用于为每条轨迹生成一个验证器线程实例；

并行验证单元，用于并行地执行各个线程实例，按照线性时态逻辑的语义，检查每个规范实例在每个轨迹上是否满足；

统计汇总单元，用于将并行计算的结果进行汇总，统计每个规范实例在所有轨迹上的满足情况，得到一个以规范实例和统计数据的键值对为元素的统计数据映射表。

6.如权利要求5所述的线性时态逻辑规范的通用并行挖掘系统，其特征在于：

所述结果集筛选模块通过对所述统计汇总模块产生的统计数据映射表进行遍历，以去除统计数据不符合要求的规范实例。