一种增强SOA可生存性的降级服务替换验证方法

本发明属于SOA技术领域,具体为增强SOA可生存性的降级服务替换验证方法。主要步骤：1.采用进程代数形式化建模WS-BPEL描述文件所体现的组合服务交互协议,包括：服务契约，成员服务可允许的消息交互；2.流程决策点，分析流程形式服务的消息操作（即发送、接受消息）选择。采用白盒策略描述WS-BPEL流程形式的替换服务和候选服务、以及服务组合和替换的上下文环境。3.将服务替换准则确定为服务相容性被定义为组合系统的可执行完成属性。在此基础上，4.验证实施替换后不影响系统相容性的降级服务替换，以及实施替换后的降级系统是否满足用户需求。本发明解决了现有技术无法验证降级服务替换正确性的问题。