基于类型化Pi-演算的Web服务组合相容性检测

• 作者: 刘荣胜 高春鸣 黄邵
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Pi-演算 类型系统 Web服务 相容性
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 120-124
• 页数: 5页
• 分类号: TP311
• 字数: 5683字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.07.037

摘要

定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统.提出了基于类型化Pi-演算的服务组合相容性检测算法.并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高春鸣	湖南师范大学数学与计算机科学学院	44	368	12.0	17.0
2	刘荣胜	湖南师范大学数学与计算机科学学院	2	20	2.0	2.0
3	黄邵	湖南师范大学数学与计算机科学学院	2	14	2.0	2.0