| 基于类型化Pi-演算的Web服务组合相容性检测 |
| |
| 引用本文： | 刘荣胜,黄邵,高春鸣.基于类型化Pi-演算的Web服务组合相容性检测[J].计算机工程与应用,2007,43(7):120-124. |
| |
| 作者姓名： | 刘荣胜 黄邵 高春鸣 |
| |
| 作者单位： | 湖南师范大学,数学与计算机科学学院,长沙,410081 |
| |
| 基金项目： | 湖南省自然科学基金
,
湖南省科技攻关项目 |
| |
| 摘 要： | 定义了一个Pi-演算的类型系统，然后利用扩充后的类型化Pi-演算建模BPEIAWS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段，说明利用该算法检测服务组合系统相容性的可行性。
|
| 关 键 词： | Pi-演算 类型系统 Web服务 相容性 |
| 文章编号： | 1002-8331（2007）07-0120-05 |
| 修稿时间： | 2006-06 |
Checking compatibility of Web services composition based on Pi-calculus with types |
| |
| LIU Rong-sheng,HUANG Shao,GAO Chun-ming.Checking compatibility of Web services composition based on Pi-calculus with types[J].Computer Engineering and Applications,2007,43(7):120-124. |
| |
| Authors: | LIU Rong-sheng HUANG Shao GAO Chun-ming |
| |
| Affiliation: | College of Mathematics and Computer Science,Hunan Normal University,Changsha 410081 ,China |
| |
| Abstract: | We have extended the type system of Pi-calculus firstly,then coded the composite Web services,which are described in BPEIAWS,in the extended Pi-calculus in this paper.Secondly,we provided an algorithm for checking compatibility of composite Web services based on Pi-calculus with types.To illustrate the feasibility of our algorithm,we described the loan approval system of bank finally. |
| |
| Keywords: | Pi-calculus type system Web services compatibility |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
