一种增强SOA可生存性的降级服务替换验证方法专利登记公告

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

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

专利类型：发明专利

专利号：CN201110457694.8

专利申请（专利权）人：复旦大学

专利发明（设计）人：张亮;杨勇

主权项：一种增强SOA可生存性的降级服务替换验证方法，其特征在于具体步骤为：步骤一、采用进程代数形式化建模WS?BPEL描述文件所体现的组合服务交互协议利用进程代数这一形式化工具对服务及其组合环境进行形式化建模，其中，成员服务及组合服务的系统模型表示为服务契约；所述服务契约用以描述服务外部可观测的消息行为；由于WS?BPEL提供了参与组合的服务集合、服务的调用关系和消息的往来信息，这里采用白盒策略描述WS?BPEL流程形式的替换服务和候选服务以及服务组合和替换的上下文环境；采用??????????????????

专利地区：上海