一种考虑消息类型的服务可替换性验证方法  

Service Substitutability Validation Method Considering Message Type

作　　者：刘伟[1] 杨勇[1] 张亮[1] 

机构地区：[1]复旦大学计算机科学技术学院,上海200433

出　　处：《计算机工程》2012年第13期40-43,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60873115)

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

关 键 词：WEB服务描述语言 服务契约 形式化 服务相容性 服务可替换性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]