311pi

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

刘荣胜;黄邵;高春鸣

【期刊名称】《计算机工程与应用》

【年(卷),期】2007(043)007

【摘要】定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模

BPEL4WS描述的Web服务组合系统.提出了基于类型化Pi-演算的服务组合相容

性检测算法.并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测

服务组合系统相容性的可行性.

【总页数】5页(P120-124)

【作者】刘荣胜;黄邵;高春鸣

【作者单位】湖南师范大学,数学与计算机科学学院,长沙,410081;湖南师范大学,数

学与计算机科学学院,长沙,410081;湖南师范大学,数学与计算机科学学院,长

沙,410081

【正文语种】中文

【中图分类】TP311

【相关文献】

服务组合的Pi-演算描述[J],常斌

2.基于Pi-演算的信任Web服务组合建模[J],云本胜

3.基于Pi-演算的BPEL4WSWeb服务组合形式化模型[J],辜希武;卢正鼎

4.基于Pi-演算的Web服务组合的描述和验证[J],廖军;谭浩;刘锦德

5.基于多元Pi-演算的Web服务组合描述与验证[J],胡静;饶国政;冯志勇

因版权原因，仅展示原文概要，查看原文内容请购买