基于限界模型检查的Web服务行为失配检测.pdfVIP

Vol. 39 NO.6 第 39 卷第6 期 计算机科学 2012 年 6 月 Computer Science June 2012 基于限界模型检查的 Web 服务行为失配检测 戎玫l 陈圣标2 张广泉川 (暨南大学深圳旅游学院 深圳 518053)1 (苏州大学计算机科学与技术学院 苏州 215006)2 (中国科学院软件研究所计算机科学国家重点实验室 北京 100190)3 摘 要 在 Web 服务组合过程中，常因交互协议不一致等导放服务失配öWeb 服务失配检测可准确捕捉失配点，为实 现服务的有效组合奠定基础.采用眼界模型检查技术，提出一种基于可满足性模理论(SMT)的 Web