一种时间异步Web服务交互的失配检测方法

摘要：

　　为了提高Web服务组合的可靠性，提出了一种时间异步Web服务交互的失配检测方法。首先采用基于时序逻辑的软件体系结构描述语言XYZ/ADL描述Web服务组合，并建立了一个可以精确刻画异步交互行为和时间属性的时间异步服务模型(TASM)，然后将XYZ/ADL描述转换为TASM，最后利用模型检测工具UPPAAL实现了异步Web服务的交互失配检测。

关键词： Web服务 服务失配检测 时间异步服务模型 兼容性判定

作者: 石慧娟 张广泉 狄浩军

作者单位: 苏州大学计算机科学与技术学院 苏州 215006 苏州大学计算机科学与技术学院 苏州 215006 中国科学院计算机科学国家重点实验室 北京 100080

会议类型: 国内会议

会议名称: 2011全国软件与应用学术会议(NASAC2011)

会议地点: 长春

会议语种:中文

页码: 79-83

在线出版日期: 2011-10-28（万方平台首次上网日期，不代表论文的发表时间）