| 基于Pi-演算的Web服务可替换性验证 |
| |
| 引用本文： | 廖军,谭浩,刘锦德.基于Pi-演算的Web服务可替换性验证[J].华中科技大学学报(自然科学版),2005,33(Z1):168-171. |
| |
| 作者姓名： | 廖军 谭浩 刘锦德 |
| |
| 作者单位： | 电子科技大学,计算机科学与工程学院,四川,成都,610054 |
| |
| 基金项目： | “十五”国防预研基金资助项目(41315010103) |
| |
| 摘 要： | 通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.
|
| 关 键 词： | Pi-演算 进程代数 Web服务 服务替换 服务兼容性 |
| 文章编号： | 1671-4512(2005)S1-0168-04 |
| 修稿时间： | 2005年8月25日 |
Verifying Web services substitution using Pi-calculus |
| |
| Liao Jun,Tan Hao,Liu Jinde.Verifying Web services substitution using Pi-calculus[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2005,33(Z1):168-171. |
| |
| Authors: | Liao Jun Tan Hao Liu Jinde |
| |
| Institution: | Liao Jun Tan Hao Liu JindeDoctoral Candidate,College of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu 610054,China. |
| |
| Abstract: | A sufficient condition through which one Web service can be substituted by another one is summarized up by using concept of interactive services set.Compatibility conditions of substitution is modeled based on Picalculus.Starting with relationship of them,it is proved that compatibility and substitution can be guaranteed by weak bisimulation under some conditions such as syntactic compatibility through method of reversion.Finally,a demo about complaint handling is constructed and how to apply weak bisimulation and formal method tools to verifying service substitution is exhibited. |
| |
| Keywords: | Pi-calculus process algebra Web services service substitution service compatibility |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
