论文部分内容阅读
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言（WSDL）的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。