本发明公开了一种Web服务组合的在线失效预测方法，对事务流程执行语言引擎进行面向方面扩展，记录Web服务组合过程中交互的消息和各个服务的规约；观察器，分别获得交互消息和服务的规约；根据观察器得到当前的消息和预测步骤K，执行将来K步模块，得到初始化K步将来模型，根据拦截到的当前消息进行重构，得到重构后K步将来模型；用户需求使用属性序列图来描述，然后将其转换成Büchi自动机；分析器获取K步将来模型与属性序列图转换成的自动机进行验证，得到主动监控的正确结果、不确定结果和属性违例。本发明能够提前预测到Web服务组合中失效的发生，提高了Web服务组合的可靠性和安全性。
声明：
“WEB服务组合在线失效预测的方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
1037
编辑：管理员
来源：北方有色网
咨询细节
