Formal description and analysis of Web services compatibility

Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (27): 28-33.

• 学术探讨 • Previous Articles Next Articles

Formal description and analysis of Web services compatibility

GU Xi-wu,LU Zheng-ding

College of Computer Science,Huazhong University of Science and Technology,Wuhan 430074,China

Received:1900-01-01 Revised:1900-01-01 Online:2007-09-21 Published:2007-09-21
Contact: GU Xi-wu

Web服务相容性的形式化描述与分析

辜希武,卢正鼎

华中科技大学计算机科学与技术学院,武汉 430074

通讯作者: 辜希武

Abstract

Abstract: The analysis of Web services compatibility is the guarantee of correct interaction between Web services.The paper analyzes Web services compatibility using a formal method based on Pi-calculus and presents two formal definitions of compatibility between two Web services.The paper also defines the projection operation between two Web services then proposes the formal definitions of compatibility between multiple Web services on the base of projection operation.

Key words: Web services compatibility, Web services, Pi-calculus

摘要： Web服务的相容性分析是为了保证多个Web服务之间的正确交互。基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义。同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义。

关键词: Web服务相容性, Web服务, Pi-演算

GU Xi-wu,LU Zheng-ding. Formal description and analysis of Web services compatibility[J]. Computer Engineering and Applications, 2007, 43(27): 28-33.

辜希武,卢正鼎. Web服务相容性的形式化描述与分析[J]. 计算机工程与应用, 2007, 43(27): 28-33.

[1]	DENG Liping1, DUAN Liguo2, YANG Lifeng2. Trust and Behavioral Method Based Web Services Selection [J]. Computer Engineering and Applications, 2019, 55(4): 112-118.
[2]	WANG Liang1，2, GUO Xing1，2. Large-scale service portfolio optimization based on Cauchy fireworks algorithm [J]. Computer Engineering and Applications, 2018, 54(24): 34-40.
[3]	TAN Zhaowen, ZONG Rong, XI Xianqiang, WU Hao. QoS prediction based on Bayesian tensor decomposition [J]. Computer Engineering and Applications, 2018, 54(20): 74-79.
[4]	JIA Zhichun1, XING Xing1，2. Automated verification of compositional compatibility for multiple Web service [J]. Computer Engineering and Applications, 2016, 52(7): 67-73.
[5]	TANG Ni1，2, XIONG Qingyu1，2, WANG Xibin1，2, GAO Min1，2, WEN Junhao1，2, ZENG Jun1，2. Web service recommendation based on location clustering and tensor decomposition [J]. Computer Engineering and Applications, 2016, 52(15): 65-72.
[6]	CHEN Xinghao1，2, LI Taoshen1. Research on algorithm for Web service discovery based on ontology [J]. Computer Engineering and Applications, 2012, 48(5): 121-123.
[7]	XI Shengfeng. Efficient policy for evaluating credibility of service based on classification [J]. Computer Engineering and Applications, 2011, 47(27): 38-40.
[8]	XI Xuefeng1，2，BAN Jianmin2，FU Baochuan2. Research on three-dimensional simulation system for supporting engineering of foundation pit [J]. Computer Engineering and Applications, 2011, 47(12): 213-216.
[9]	LIU Yi1，XUE Hongchao2，XIA Yunni2. Model-driven approach for dependability prediction of WS-CDL based service composition [J]. Computer Engineering and Applications, 2011, 47(11): 60-66.
[10]	CAI Mei-ling^1，2，CHEN Ji-feng^1，2. Enhance fault-tolerant ability of Web services composition under multi-object genetic algorithm [J]. Computer Engineering and Applications, 2010, 46(32): 1-5.
[11]	WANG Ying¹，ZHANG Yong-sheng¹，ZHANG Yong-qiang²，LI Jing¹，SUN Cui-cui¹. Trust enhanced comprehensive evaluation model for Web services [J]. Computer Engineering and Applications, 2010, 46(29): 89-92.
[12]	LI Ji-min^1，2，LIU Zhen-peng²，LIU Zhi-tian²，HAN Lei². Research on multi-constraint Web service composition [J]. Computer Engineering and Applications, 2010, 46(24): 110-114.
[13]	JIA Zhi-chun¹，CHEN Rong^1，2，ZHANG Wei-shi¹. Aeronautical booking process modeling for Web service and compositional compatibility verification [J]. Computer Engineering and Applications, 2010, 46(24): 237-242.
[14]	MA Yu-min¹，ZHANG Yue-rong²，QIAO Fei1，FAN Liu-qun¹. Study of networked data collection system [J]. Computer Engineering and Applications, 2010, 46(20): 53-55.
[15]	LI Sheng-hong. Modeling interaction based information alignment of Web choreography [J]. Computer Engineering and Applications, 2010, 46(2): 11-13.

Formal description and analysis of Web services compatibility

Web服务相容性的形式化描述与分析

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics