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

【Abstract】 Against the high possibility of component service failure in Service-oriented Architecture(SOA),a method considering message type for verifying service substitutability is proposed.It translates the Web Service Description Language(WSDL) description of services to the formal expressions,determines the substitution relationship of the formal expressions of two services according to service contract,and makes the contrast of their messages type for the results existing substitution relationship to obtain the conclusion whether two services can be substituted by each other.Experimental results demonstrate that the method can obtain the stricter relationship of service substitution.更多还原