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

权利要求书

1.一种线性时态逻辑规范的通用并行挖掘方法，包括如下步骤：

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

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

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

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

2.如权利要求1所述的线性时态逻辑规范的通用并行挖掘方法，其特征在于，所述预处理步骤包括如下三个子步骤：

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

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

事件位置信息获取步骤，扫描每条轨迹，记录事件在轨迹中出现的位置信息。

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

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

4.如权利要求1所述的线性时态逻辑规范的通用并行挖掘方法，其特征在于，所述规范实例生成步骤包括如下三个子步骤：

规范模板分析步骤，对输入的规范模板进行语法分析，获取规范模板中的变量；

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

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

5.如权利要求1所述的线性时态逻辑规范的通用并行挖掘方法，其特征在于，所述规范实例验证步骤包括如下三个子步骤：

初始化步骤，为每条轨迹生成一个验证器线程实例；

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

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

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

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