摘要
定义了一个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.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第7期120-124,共5页
Computer Engineering and Applications
基金
湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY6023)
湖南省重点科技攻关项目(No.05GK2002)
