节点文献
基于类型化Pi-演算的Web服务组合相容性检测
Checking compatibility of Web services composition based on Pi-calculus with types
【摘要】 定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性。
【Abstract】 We have extended the type system of Pi-calculus firstly,then coded the composite Web services,which are described in BPEL4WS,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.
【基金】 湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY6023);湖南省重点科技攻关项目(No.05GK2002)
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2007年07期
- 【分类号】TP311.10
- 【被引频次】13
- 【下载频次】205