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

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (27): 28-33.

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

辜希武,卢正鼎

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

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-09-21 发布日期:2007-09-21
通讯作者: 辜希武

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

摘要/Abstract

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

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

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服务相容性的形式化描述与分析[J]. 计算机工程与应用, 2007, 43(27): 28-33.

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

[1]	尤国华，刘媛，高东. 异构系统中的Web服务器软件框架研究[J]. 计算机工程与应用, 2020, 56(11): 33-38.
[2]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[3]	贾志淳，卢元，李想，邢星. 一种多参数的Web服务选择方法[J]. 计算机工程与应用, 2019, 55(21): 74-78.
[4]	张梦珂1，李兵1，3，王健2. 基于多地域的SOAP与REST服务的性能实证分析[J]. 计算机工程与应用, 2018, 54(4): 1-8.
[5]	王亮1，2，郭星1，2. 基于柯西烟花算法的大规模服务组合优化[J]. 计算机工程与应用, 2018, 54(24): 34-40.
[6]	谭朝文，宗容，席先强，武浩. 基于贝叶斯张量分解的改进QoS预测[J]. 计算机工程与应用, 2018, 54(20): 74-79.
[7]	辛园园，钮俊，谢志军，张开乐，毛昕怡. 微服务体系结构实现框架综述[J]. 计算机工程与应用, 2018, 54(19): 10-17.
[8]	汪潇洒1，付晓东1，刘骊1，岳昆2，刘利军1. 随机QoS感知的Web服务组合概率分析[J]. 计算机工程与应用, 2017, 53(14): 70-75.
[9]	刘迪1，2，朱立谷1，2，张雷1，2，冯东煜1，2. 基于强挂起弱预测机制的负载均衡模型研究[J]. 计算机工程与应用, 2017, 53(10): 90-95.
[10]	贾志淳1，邢星1，2. 多Web服务组合兼容性的自动化验证[J]. 计算机工程与应用, 2016, 52(7): 67-73.
[11]	马亮，钱雪忠. 基于可信计算的Web服务调用关键路径研究[J]. 计算机工程与应用, 2016, 52(3): 230-235.
[12]	张驰，褚楚，唐颖军，陈升. 基于行为投影的Web服务组合行为兼容性研究[J]. 计算机工程与应用, 2016, 52(20): 46-51.
[13]	唐妮1，2，熊庆宇1，2，王喜宾1，2，高旻1，2，文俊浩1，2，曾骏1，2. 基于位置聚类和张量分解的Web服务推荐算法[J]. 计算机工程与应用, 2016, 52(15): 65-72.
[14]	夏永滢1，田强1，付晓东1，2，王威1，李昌志1. 一种QoS感知的Web服务群体评价方法[J]. 计算机工程与应用, 2015, 51(15): 62-67.
[15]	连加典1，刘宏立1，谢海波2，龚霞1，胥小波1. 基于预测机制的分级负载均衡算法[J]. 计算机工程与应用, 2015, 51(11): 67-71.