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

• 作者: 卢正鼎 辜希武
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Web服务相容性 Web服务 Pi-演算
• 年，卷（期）: 2007,（27）
• 所属期刊栏目: 学术探讨
• 页码范围: 28-33
• 页数: 6页
• 分类号: TP311
• 字数: 9109字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.27.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢正鼎	华中科技大学计算机科学与技术学院	264	3116	25.0	39.0
2	辜希武	华中科技大学计算机科学与技术学院	21	338	9.0	18.0