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

Checking compatibility of Web services composition based on Pi-calculus with types

作　　者：刘荣胜[1] 黄邵[1] 高春鸣[1] 

机构地区：[1]湖南师范大学数学与计算机科学学院,长沙410081

出　　处：《计算机工程与应用》2007年第7期120-124,共5页Computer Engineering and Applications

基　　金：湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY6023);湖南省重点科技攻关项目(No.05GK2002)

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

关 键 词：PI-演算 类型系统 WEB服务 相容性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]