首页> 中文期刊> 《计算机工程与应用》 >基于类型化Pi-演算的Web服务组合相容性检测

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与应用》 |2007年第7期|120-124|共5页
作者
刘荣胜; 黄邵; 高春鸣;
展开▼
作者单位

湖南师范大学;

数学与计算机科学学院;

长沙;

410081;

湖南师范大学;

数学与计算机科学学院;

长沙;

410081;

湖南师范大学;

数学与计算机科学学院;

长沙;

410081;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Pi-演算; 类型系统; Web服务; 相容性;

相似文献

中文文献
外文文献
专利

1. 基于多元Pi-演算的Web服务组合描述与验证 [J] . 胡静 ,饶国政 ,冯志勇 . 天津大学学报 . 2013,第006期
2. 基于Pi-演算的信任Web服务组合建模 [J] . 云本胜 . 计算机科学 . 2012,第0z3期
3. 基于Pi-演算的BPEL4WS Web服务组合形式化模型 [J] . 辜希武 ,卢正鼎 . 计算机科学 . 2007,第003期
4. 基于Pi-演算的Web服务组合的描述和验证 [J] . 廖军 ,谭浩 ,刘锦德 . 计算机学报 . 2005,第004期
5. Web服务组合的Pi-演算描述 [J] . 常斌 . 广东通信技术 . 2010,第001期
6. 基于UML和扩展的类型pi演算的BPEL相容性的检测与适配 [C] . 邓娜 ,程渤 ,陈俊亮 . 第一届全国服务计算学术会议 . 2010
7. 基于Pi-演算的Web服务组合的描述和验证 [A] . 常斌 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号