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

摘要

本发明公开了一种Web服务组合的在线失效预测方法，对事务流程执行语言引擎进行面向方面扩展，记录Web服务组合过程中交互的消息和各个服务的规约；观察器，分别获得交互消息和服务的规约；根据观察器得到当前的消息和预测步骤K，执行将来K步模块，得到初始化K步将来模型，根据拦截到的当前消息进行重构，得到重构后K步将来模型；用户需求使用属性序列图来描述，然后将其转换成Büchi自动机；分析器获取K步将来模型与属性序列图转换成的自动机进行验证，得到主动监控的正确结果、不确定结果和属性违例。本发明能够提前预测到Web服务组合中失效的发生，提高了Web服务组合的可靠性和安全性。

主权项

一种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步模型为不确定结果。