| Web服务组合规范WS-CDL的类型化形式化模型 |
| |
| 引用本文： | 辜希武,李瑞轩,卢正鼎.Web服务组合规范WS-CDL的类型化形式化模型[J].东南大学学报,2008,24(3). |
| |
| 作者姓名： | 辜希武 李瑞轩 卢正鼎 |
| |
| 作者单位： | 华中科技大学计算机科学与技术学院,武汉430074 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 为了形式化地推理和验证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服务组合进行推理和验证的.
|
| 关 键 词： | 类型化模型 web服务组合 web服务编排描述语言 |
Typed formal model for WS-CDL specification of web services composition |
| |
| Gu Xiwu,Li Ruixuan,Lu Zhengding.Typed formal model for WS-CDL specification of web services composition[J].Journal of Southeast University(English Edition),2008,24(3). |
| |
| Authors: | Gu Xiwu Li Ruixuan Lu Zhengding |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
