[发明专利]业务协议挖掘方法及装置

权利要求书

1.一种业务协议挖掘方法，其特征在于，包括：

对消息日志中的所有调用消息根据Web服务的类型进行第一次分组，将 同一类型的Web服务所对应的调用消息合并到同一组中；

据Web服务的执行标识(ID)对同一类型的Web服务所对应的调用消息 进行第二次分组，以合并具有相同操作的调用消息；

从进行两次分组后得到的消息序列中滤除出错或未完成的消息序列，保 留完整的消息序列；

将所述完整的消息序列作为动态不变量检测工具的输入，获取所述完整 的消息序列中数据流和控制流之间的一致性约束关系；

根据所述完整的消息序列，使用α算法确定佩特里网模型中的控制库所 集合、数据库所集合、及相应的弧；

根据所述一致性约束关系、控制库所集合、数据库所集合、及相应的弧， 合成Web服务接口的业务协议。

2.根据权利要求1所述方法，其特征在于，所述获取所述完整的消息序 列中数据流和控制流之间的一致性约束关系包括：通过所述动态不变量检测 工具分析数据流和控制流中的变量和相应变量取值之间的关系，自动生成数 据流和控制流之间的一致性约束关系。

3.根据权利要求1所述方法，其特征在于，所述根据所述完整的消息序 列，使用α算法确定佩特里网模型中的库所集合和相应的弧包括：

识别所述完整的消息序列中的活动建立业务流程佩特里网模型中的变迁 集合；

在所述变迁集合中的任意两个变迁之间建立四种关系，即：后继关系、 因果关系、无关关系和并发关系；

根据所述关系确定所述佩特里网模型中的库所集合和相应的弧。

4.根据权利要求1所述方法，其特征在于，所述根据所述一致性约束关 系、控制库所集合、数据库所集合、及相应的弧，合成Web服务接口的业务 协议包括：

添加所述Web服务接口上的控制库所以及和变迁之间的弧；

添加所述Web服务接口上的数据库所以及和变迁之间的弧；

构造具有条件因果关系的变迁对的集合；

为选择模式的分支路径插入条件判断变迁；

为并发模式插入同步变迁。

5.一种业务协议挖掘装置，其特征在于，包括：

预处理模块，用于对消息日志中的所有调用消息根据Web服务的类型进 行第一次分组，将同一类型的Web服务所对应的调用消息合并到同一组中； 据Web服务的执行标识(ID)对同一类型的Web服务所对应的调用消息进行 第二次分组，以合并具有相同操作的调用消息；从进行两次分组后得到的消 息序列中滤除出错或未完成的消息序列，保留完整的消息序列；

约束关系获取模块，用于将预处理模块得到的所述完整的消息序列作为 动态不变量检测工具的输入，获取所述完整的消息序列中数据流和控制流之 间的一致性约束关系；

库所确定模块，用于根据预处理模块得到的所述完整的消息序列，使用 α算法确定佩特里网模型中的控制库所集合、数据库所集合、及相应的弧；

协议合成模块，用于根据约束关系获取模块获取的所述一致性约束关系 和库所确定模块确定的控制库所集合、数据库所集合、及相应的弧，合成Web 服务接口的业务协议。