一种增强soa可生存性的降级服务替换技术的制作方法
【技术领域】：
[0001] 本发明属于降级服务技术，其中涉及SOA架构技术和降级服务算法等
【背景技术】：
[0002] 任何软件系统，都会不可避免地发生一些故障。SOA服务系统也不例外。系统从发 生故障到恢复正常工作的这个紧急修复时间内，成功实施服务替换面临的最大挑战是迅速 找到可用的候选服务。尤其是，很难迅速找到与被替换服务完全等价的候选服务。
[0003] 然而，对于一个关键系统来说，在故障修复时间内，所期望的不是整个系统彻底不 工作，而是一个具有可生存性的系统。即，系统不必工作在正常状态，但仍然能够继续提供 有限功能的服务，尤其是提供核心服务。在这种紧急情况下，允许降级服务替换是主要应急 措施之一。
[0004] 在这种可生存性环境中，降级服务替换的问题是，采取什么替换关系理论可保证 实施替换后的系统仍可保持服务相容性。
[0005] 适用场景：
[0006] 本发明是针对具有交互协议、流程形式服务的降级替换判定，即WS-BPEL流程服 务。对于替换服务和候选服务，以及服务组合和替换的上下文环境，其服务接口、接口上的 消息操作以及消息交互协议均为已知。
【发明内容】
：
[0007] 本发明是针对任何软件都不可避免发生故障，系统从发生故障到恢复正常工作的 紧急修复时间内，成功实施服务替换需要找到可用的候选服务，达到一种可生存性的系统。 其是具有交互协议的、流程形式的服务。采用灰盒策略，通过描述交互服务允许的接收/发 送消息序列，刻画服务的消息交互行为。通过描述服务系统的契约，刻画成员服务间可允许 的交互行为。服务相容性被定义为组合系统的可执行完成属性。
[0008] 1、标识实施替换后不影响系统相容性的降级服务替换；
[0009] 2、标识实施替换后的系统能否满足用户要求
【附图说明】：
[0010] 附图1为BPEL流程形式服务的降级替换；
[0011] 附图2为服务契约操作语义规则；
【具体实施方式】：
[0012] 第一、形式化描述WS-BPEL服务
[0013] 采用η演算描述一个WS-BPEL流程服务（即服务契约）C，具体语法如下：
[0014]
【主权项】
1. 一种增强SOA可生存性的降级服务替换的特点： (1) BP化流程形式服务的降级替换； (2) BP化流程形式服务的降级替换的流程。
2. 根据权利1要求的BP化流程形式服务的降级替换。
3. 根据权利1要求的BP化流程形式服务的降级替换的流程。
【专利摘要】本发明是针对任何软件都不可避免发生故障，系统从发生故障到恢复正常工作的紧急修复时间内，成功实施服务替换需要找到可用的候选服务，达到一种可生存性的系统。其是具有交互协议的、流程形式的服务。采用灰盒策略，通过描述交互服务允许的接收/发送消息序列，刻画服务的消息交互行为。通过描述服务系统的契约，刻画成员服务间可允许的交互行为。服务相容性被定义为组合系统的可执行完成属性。附图为BPEL流程形式服务的降级替换。
【IPC分类】H04L29-08, G06F11-07
【公开号】CN104636213
【申请号】CN201310571287
【发明人】李鹏, 范皎琰, 张思佳
【申请人】上海信游网络科技有限公司
【公开日】2015年5月20日
【申请日】2013年11月15日