基于服务分组和调用轨迹的W eb服务组合验证方案

摘要：

针对Web服务组合的有效性验证问题，提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先，基于服务调用顺序，利用提出的Web服务集分组（WSSG）算法将候选Web服务划分为几个子集，并结合调用轨迹编排这些子集组成WSSG图，作为系统的抽象模型；然后，推理出系统所需的预期交互规范，并利用线性时序逻辑（LTL）来描述交互规范；最后，通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明，该方案能够有效验证Web服务组合的正确性，且避免了死锁现象。

关键词：Web服务组合验证、建模、调用轨迹、线性时序逻辑

分类号：TN911-34;TP311

资助基金：国家青年基金项目61300124；河南省科技厅项目面向航空港区的物流 Web服务动态优化组合问题研究132400411365；河南省教育厅项目基于资源整合的物流web服务动态优化组合方法研究15B520046；河南省科技厅项目面向大数据的隐私保护技术研究142400411237；河南省教育厅项目面向云计算基于隐私保护的信任模型研究15B520045

在线出版日期：2016-04-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：126-130