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

doi:10.3969/j.issn.1000-3428.2012.13.011

计算机工程 ›› 2012, Vol. 38 ›› Issue (13): 40-43. doi: 10.3969/j.issn.1000-3428.2012.13.011

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

刘伟，杨勇，张亮

(复旦大学计算机科学技术学院，上海 200433)

收稿日期:2012-04-13 出版日期:2012-07-05 发布日期:2012-07-05
作者简介:刘伟(1984－)，男，硕士研究生，主研方向：Web服务替换；杨勇，博士；张亮，教授、博士生导师
基金资助:
国家自然科学基金资助项目(60873115)

Service Substitutability Validation Method Considering Message Type

LIU Wei, YANG Yong, ZHANG Liang

(School of Computer Science, Fudan University, Shanghai 200433, China)

Received:2012-04-13 Online:2012-07-05 Published:2012-07-05

摘要/Abstract

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

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

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.

Key words: Web Service Description Language(WSDL), service contract, formalization, service compatibility, service substitutability

中图分类号:

TP311

刘伟, 杨勇, 张亮. 一种考虑消息类型的服务可替换性验证方法[J]. 计算机工程, 2012, 38(13): 40-43.

LIU Wei, YANG Yong, ZHANG Liang. Service Substitutability Validation Method Considering Message Type[J]. Computer Engineering, 2012, 38(13): 40-43.

http://www.ecice06.com/CN/Y2012/V38/I13/40

参考文献

[1] Beyer D, Chakrabarti A, Henzinger T A, et al. Web Service Interfaces[C]//Proc. of the 14th International Conference on World Wide Web. Chiba, Japan: ACM Press, 2005.
[2] Bravetti M, Zavattaro G. Towards a Unifying Theory for Chore- ography Conformance and Contract Compliance[C]//Proc. of the 6th International Conference on Software Composition. Berlin, Germany: Springer, 2007.
[3] 刘方方, 史玉良, 张亮, 等. 基于进程代数的Web服务合成的替换分析[J]. 计算机学报, 2007, 30(11): 2033-2039.
[4] Canal C, Pimentel E, Troya J M. Compatibility and Inheritance in Software Architectures[J]. Science of Computer Programming, 2001, 41(2): 105-138.
[5] Castagna G, Gesbert N, Padovani L, et al. A Theory of Contracts for Web Services[J]. ACM Trans. on Programming Languages and Systems, 2009, 31(5): 1-61.
[6] Pathak J, Basu S, Honavar V. On Context-specific Substitutability of Web Service[C]//Proc. of 2007 IEEE Int’l Conf. on Web Services. Salt Lake City, USA: IEEE Computer Society, 2007.
[7] 史玉良, 王海洋, 张亮, 等. Web服务合成的相容性与替换性分析[J]. 计算机研究与发展, 2007, 44(11): 1955-1961.
[8] Dumas M, Yang Yong, Zhang Liang. Towards a Formalization of Contracts for Service Substitution[C]//Proc. of the 6th World Congress on Services. Miami, USA: IEEE Press, 2010.
[9] Liu Wei, Yang Yong, Zhang Liang. Testing Substitutability Based on WSDL[C]//Proc. of 2011 IEEE International Conference on Intelligent Computing and Integrated Systems. [S. l.]: IEEE Computer Society, 2011.
[10] W3C. Web Services Description Language[EB/OL]. [2012-03-20]. http://www.w3.org/TR/wsdl20-extensions.
[11] Carpineti S, Castagna G, Laneve C, et al. A Formal Account of Contracts for Web Services[C]//Proc. of the 3rd International Conference on Web Services and Formal Methods. Berlin, Germany: Springer, 2006.
[12] Apache Software Foundation. Woden[EB/OL]. [2012-03-20]. http://ws.apache.org/woden/.

[1]	闫倩倩, 缪炜恺. 轨道交通控制软件中基于场景的需求分析方法[J]. 计算机工程, 2021, 47(8): 284-293,300.
[2]	杨锦翔, 熊焰, 黄文超. 基于强化学习的安全协议形式化验证优化研究[J]. 计算机工程, 2021, 47(12): 141-146.
[3]	夏锐, 钱振江, 刘苇. 一种基于Isabelle/HOL的安全通信协议验证方法[J]. 计算机工程, 2021, 47(1): 146-153.
[4]	秦彪, 郭帆, 杨晨霞. 一种面向Trace与漏洞验证的污点分析方法[J]. 计算机工程, 2020, 46(5): 157-166.
[5]	欧阳恒一, 熊焰, 黄文超. 一种代币智能合约的形式化建模与验证方法[J]. 计算机工程, 2020, 46(10): 41-45,51.
[6]	陈金鑫,苏雯. 基于Event-B的自动化模块组合方法研究[J]. 计算机工程, 2019, 45(5): 298-307,314.
[7]	祁龙云, 吕小亮, 路红, 黄皓. 汇编级顺序语句块的自动形式化规约及其验证[J]. 计算机工程, 2019, 45(10): 64-69,77.
[8]	林荣峰, 施健, 朱晏庆, 沈怡颹, 周宇. 基于STP方法的SCADE模型形式化验证框架[J]. 计算机工程, 2019, 45(10): 70-77.
[9]	李堃,张雪松. STP安全通信协议设计与形式化验证[J]. 计算机工程, 2018, 44(12): 120-128.
[10]	冯玉伯,丁承君,赵兴华. 基于时空事件驱动的信息物理系统架构[J]. 计算机工程, 2018, 44(10): 64-68.
[11]	金俊平,杜军龙,周剑涛. 一种可推演的外设细粒度管控模型[J]. 计算机工程, 2018, 44(10): 80-84.
[12]	孙思,葛卫民,冯志勇,徐超,彭伟龙. 基于NURBS变形和单视角图片的人脸表情生成[J]. 计算机工程, 2017, 43(11): 227-233,238.
[13]	王帅丽,孙磊,韩静丹,徐宁,王泽武. 面向Android隐私保护机制的多域隔离模型设计[J]. 计算机工程, 2017, 43(10): 134-140.
[14]	李青,朱晓冉,郭建. AUTOSAR OS存储保护机制的形式化验证框架[J]. 计算机工程, 2017, 43(1): 79-85.
[15]	彭展,梁根,周炳. 电信服务系统特征交互的Z规格及验证[J]. 计算机工程, 2016, 42(8): 19-23.

选择文件类型/文献管理软件名称

选择包含的内容

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

Service Substitutability Validation Method Considering Message Type

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

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

Service Substitutability Validation Method Considering Message Type

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价