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

• 作者: 卢正鼎 李瑞轩 辜希武
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 类型化模型 web服务组合 web服务编排描述语言
• 年，卷（期）: 2008,（3）
• 页码范围: 300-307
• 页数: 8页
• 分类号: TP311
• 字数: 3464字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2008.03.012

摘要

为了形式化地推理和验证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服务组合进行推理和验证的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢正鼎	华中科技大学计算杌科学与技术学院	264	3116	25.0	39.0
2	李瑞轩	华中科技大学计算杌科学与技术学院	99	1574	21.0	34.0
3	辜希武	华中科技大学计算杌科学与技术学院	21	338	9.0	18.0