基于Pi-演算的Web服务可替换性验证

• 作者: 刘锦德 廖军 谭浩
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: Pi-演算 进程代数 Web服务 服务替换 服务兼容性
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 软件工程和中间件
• 页码范围: 168-171
• 页数: 4页
• 分类号: TP393
• 字数: 3431字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2005.z1.048

摘要

通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖军	电子科技大学计算机科学与工程学院	6	449	5.0	6.0
2	谭浩	电子科技大学计算机科学与工程学院	22	524	8.0	22.0
3	刘锦德	电子科技大学计算机科学与工程学院	113	2290	22.0	44.0