基于π演算的异构Web服务组合的互操作

廖志军; 高春鸣

首页> 中文期刊> 《中国科技信息》 >基于π演算的异构Web服务组合的互操作

基于π演算的异构Web服务组合的互操作

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

采用针对Web服务组合协议的扩充π-演算,形式化地描述了Wab服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成的流程之间互操作的中间适配规范,适配器生成规范和由规范制导的适配器生成方法.通过适配器生成过程的形式化描述可以自动生成该适配器.通过实例具体实现了BPEL4WS和WSCI互操作的适配器形式化描述,以此说明可以在抽象层次上实现不同Web服务组合协议描述的服务流程之问的互操作.

著录项

来源
《中国科技信息》 |2007年第6期|130-132135|共4页
作者
廖志军; 高春鸣;
展开▼
作者单位

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

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

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
异构Web服务组合; BPEL4WS; WSCI; π-演算; 适配器;

相似文献

中文文献
外文文献
专利

1. 基于流演算的语义Web服务组合研究 [J] . 孙爱玲 . 江西师范大学学报（自然科学版） . 2016,第006期
2. 基于多元Pi-演算的Web服务组合描述与验证 [J] . 胡静 ,饶国政 ,冯志勇 . 天津大学学报 . 2013,第006期
3. 基于Pi-演算的信任Web服务组合建模 [J] . 云本胜 . 计算机科学 . 2012,第0z3期
4. 基于Pi演算的Web服务组合过程框架 [J] . 毛瑞雪 . 计算机与数字工程 . 2011,第007期
5. Web服务组合事务处理及基于细胞膜演算的正确性分析 [J] . 姚绍文 ,唐明靖 ,危兵 . 计算机科学 . 2008,第003期
6. 基于本体的Web服务组合异构消息的转换 [C] . 钱柱中 ,南京大学计算机科学与技术系 ,戚玉松 . 2005’全国软件与应用学术会议（NASAC） . 2005
7. 基于流演算的上下文感知Web服务组合研究 [A] . 杨彦博 . 2011

基于π演算的异构Web服务组合的互操作

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅