[发明专利]一种WEB服务组合在线失效预测的方法

权利要求书

1.一种WEB服务组合在线失效预测的方法，其特征在于，包括：

a)BPEL引擎扩展模块：对BPEL引擎的进行扩展得到扩展的BPEL引擎，使扩展的BPEL引擎用于记录Web服务组合过程中拦截到BPEL流程和基本服务之间的交互消息以及各个基本服务的STS规约；

b)观察器：通过第一观察器和第二观察器分别获取扩展的BPEL引擎记录的所述交互消息和各个基本服务的STS规约；

c)构建将来K步模块：预设预测步骤K值，根据所述第一观察器获取所述交互消息、第二观察器得到所述各个基本服务的STS规约和预测步骤K值，执行将来K步模块；使用BFS或DFS算法，得到初始化将来K步模型；根据第一观察器和第二观察器获取的当前交互消息和STS规约进行重构初始化将来K步模型，得到重构后将来K步模型；其中，K值为整数，根据Web服务组合的个数和规模来确定取值；

d)转换器：使用PSC描述用户需求，将所述属性序列图转换成Büchi自动机；

e)分析器：通过第三观察器获取所述重构后将来K步模型，并将其与Büchi自动机进行匹配，若检测到的K步模型的最后一个状态到达PSC属性的接受状态，则该K步模型为正确结果；若检测到将来K步模型到达PSC属性的拒绝状态，则该模型属性违例；若将来K步模型未到达PSC属性的拒绝状态，并且在检测结束时该将来K步模型的最后一个状态处于PSC属性的中间状态，则该K步模型为不确定结果。

2.如权利要求1所述的WEB服务组合在线失效预测的方法，其特征在于：BPEL引擎扩展模块中，记录Web服务组合过程中拦截到BPEL流程和基本服务之间的交互消息以及各个基本服务的STS规约的具体步骤包括：BPEL引擎通过执行WS-BPEL将分布在网络上的多个Web服务进行组合，并且使用AOP对BPEL引擎进行扩展，通过AOP对BPEL引擎进行两个方面的扩展；其中第一扩展模块AOP记录Web服务组合过程中拦截到BPEL流程和基本服务之间的交互消息，第二扩展模块AOP实现记录各个基本服务的STS规约。

3.如权利要求1所述的WEB服务组合在线失效预测的方法，其特征在于：构建将来K步模块中所述的将来K步模块包括：

BFS/DFS执行模块，根据多个STS规约预测将来K步的初始化模型；

初始化将来K步模型，Web服务组合初始化执行成功的将来K步模型；

预测到的失效，Web服务组合执行的失效；

重构模块，在Web服务组合运行时，根据所述第一观察器获取的所述交互消息和第二观察器得到的所述各个基本服务的STS规约重构初始化将来K步模型；

重构后的将来K步模型，Web服务组合重构后执行成功的将来K步模型。

4.如权利要求3所述的WEB服务组合在线失效预测的方法，其特征在于：所述BFS/DFS执行模块包括：

初始化将来第一步模块，根据获取到的多个STS规约以及Web服务消息匹配原则：BPEL引擎内部消息可以直接预测一步，对于发送消息与接受消息必须进行匹配，才可以预测一步；

执行匹配模块，记录当前STS规约预测的步数，在各个STS规约当前的状态下，再预测一步，直到预测的步数达到K，预测原则同Web服务消息匹配原则。

5.如权利要求3所述的WEB服务组合在线失效预测的方法，其特征在于：所述重构模块包括：

剪裁模块，将当前第一观察器获取的交互消息的第一个状态与将来K步模型的第一个状态进行匹配，若匹配成功，剪掉第一个状态和不匹配的模型即得到K-1步模型，直到没有拦截的消息；

执行匹配模块，按照Web服务消息匹配原则：BPEL引擎内部消息可以直接预测一步，对于发送消息与接受消息必须进行匹配，才可以预测一步。