| Web服务相容性的形式化描述与分析 |
| |
| 引用本文： | 辜希武,卢正鼎. Web服务相容性的形式化描述与分析[J]. 计算机工程与应用, 2007, 43(27): 28-33 |
| |
| 作者姓名： | 辜希武 卢正鼎 |
| |
| 作者单位： | 华中科技大学,计算机科学与技术学院,武汉,430074;华中科技大学,计算机科学与技术学院,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金 , 湖北省自然科学基金 |
| |
| 摘 要： | Web服务的相容性分析是为了保证多个Web服务之间的正确交互。基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义。同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义。
|
| 关 键 词： | Web服务相容性 Web服务 Pi-演算 |
| 文章编号： | 1002-8331（2007）27-0028-06 |
| 修稿时间： | 2007-04-01 |
Formal description and analysis of Web services compatibility |
| |
| GU Xi-wu,LU Zheng-ding. Formal description and analysis of Web services compatibility[J]. Computer Engineering and Applications, 2007, 43(27): 28-33 |
| |
| Authors: | GU Xi-wu LU Zheng-ding |
| |
| Affiliation: | College of Computer Science,Huazhong University of Science and Technology,Wuhan 430074,China |
| |
| 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. |
| |
| Keywords: | Web services compatibility Web services Pi-calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
