收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

Web服务组合规范WS-CDL的类型化形式化模型(英文)

辜希武  李瑞轩  卢正鼎  
【摘要】:为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 张晓青,张晓林;数字图书馆服务的动态定制机制[J];图书情报工作;2005年05期
2 张晓青,相春艳;开放环境下Web服务组合研究述评[J];烟台师范学院学报(自然科学版);2005年03期
3 张晓青,周晓光,相春艳;数字图书馆个性化定制服务系统的比较研究[J];情报杂志;2005年10期
4 李景霞,侯紫峰;Web服务组合综述[J];计算机应用研究;2005年12期
5 张晓青;;Web服务及其在数字图书馆中的应用分析[J];大学图书情报学刊;2005年05期
6 李晖;隋琪;王海洋;;虚拟行业联盟中的自动Web服务组合[J];计算机科学;2005年07期
7 王勇;张煜;尹瑞;;Web服务组合中商业事务处理的研究[J];小型微型计算机系统;2006年01期
8 高勇;刘瑜;谢昆青;邬伦;;一个基于Petri网的Web服务组合模型[J];计算机工程;2006年06期
9 李景霞;侯紫峰;赵慧娟;;Web服务组合时间限制一致性研究[J];计算机应用研究;2006年03期
10 杨鑫;陈俊亮;;WSC/ADL:Web Services组合系统体系结构描述语言[J];软件学报;2006年05期
中国重要会议论文全文数据库 前1条
1 刘波;吴家铸;;Web服务组合分布式协调模型研究[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
中国博士学位论文全文数据库 前3条
1 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年
2 冯名正;Web服务组合关键技术研究[D];东南大学;2006年
3 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 王山杉;面向服务设计的Web服务组合系统中扩展UDDI的设计与实现[D];东北大学;2005年
2 李为存;面向服务设计的Web服务组合系统中调度执行机制的研究与实现[D];东北大学;2005年
3 谢苑红;面向服务设计的Web服务组合系统中图形化建模工具的研究与实现[D];东北大学;2005年
4 徐洋;面向服务设计的Web服务组合系统中动态选取机制的研究与实现[D];东北大学;2005年
5 周坤;QoS支持的动态Web服务组合系统的研究与实现[D];国防科学技术大学;2004年
6 邓保华;动态Web服务组合中业务流程建模环境的研究与实现[D];国防科学技术大学;2005年
7 胡真华;动态Web服务组合管理系统的研究与实现[D];国防科学技术大学;2005年
8 马丽;Web服务技术的研究与实现[D];国防科学技术大学;2005年
9 陈旭晖;基于规划的语义Web服务组合技术研究[D];福州大学;2006年
10 于冰;基于多层次接口匹配的语义Web服务自动组合研究[D];东华大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978