首页> 中文期刊> 《上海工程技术大学学报》 >类型化Pi演算在Web服务组合中的应用

类型化Pi演算在Web服务组合中的应用

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.

著录项

来源
《上海工程技术大学学报》 |2009年第1期|51-55|共5页
作者
姜梦稚;
展开▼
作者单位

上海电机学院,电子信息学院,上海,200240;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序语言、算法语言;
关键词
Pi演算; Z语言; Web服务组合; 形式化技术集成;

相似文献

中文文献
外文文献
专利

1. 基于类型化Pi-演算的Web服务组合相容性检测 [J] . 刘荣胜 ,黄邵 ,高春鸣 . 计算机工程与应用 . 2007,第007期
2. MT二维正演的混合剖分算法及其在线源CSAMT正演计算中的应用 [J] . 胡建德 ,许三星 ,管建和 . 现代地质 . 1996,第001期
3. Pi-z、Pi-ta^2等基因在云南粳稻稻瘟病抗性育种中的应用 [J] . 张学堂 ,廖新华 ,朱振华 . 中国农业科技导报 . 2010,第1期
4. 改进蚁群算法在基于服务质量的Web服务组合优化中的应用 [J] . 倪志伟 ,方清华 ,李蓉蓉 . 计算机应用 . 2015,第008期
5. 有色Petri网在web服务组合建模中的应用 [J] . 李嶒 . 巢湖学院学报 . 2013,第006期
6. 反射率法正演模拟及其在多次波识别中的应用——以四川盆地川中地区为例 [C] . 杨昊 ,戴晓峰 ,甘利灯 . 中国石油学会2017年物探技术研讨会 . 2017
7. 规范与情景演算在语义Web服务组合中的应用 [A] . 谷晓竹 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号