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

发布时间：2018-05-15 18:29

本文选题：Web服务组合验证 + 建模　；参考：《现代电子技术》2016年05期

【摘要】：针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。
[Abstract]:A formal verification scheme for Web service composition based on service grouping and call locus is proposed to verify the validity of Web service composition. Firstly, based on the order of service invocation, the candidate Web services are divided into several subsets by using the proposed Web service set grouping algorithm, and the WSSG graph is composed of these subsets combined with the path of the call, which is used as the abstract model of the system. The expected interaction specification required by the system is deduced, and the interaction specification is described by using linear temporal logic. Finally, the feasibility of the combined model is verified by checking whether the model conforms to the interaction specification. Experimental results show that the scheme can effectively verify the correctness of Web service composition and avoid deadlock phenomenon.
【作者单位】：周口师范学院计算机科学与技术学院;
【基金】：国家青年基金项目(61300124) 河南省科技厅项目:面向航空港区的物流Web服务动态优化组合问题研究(132400411365);河南省科技厅项目:面向大数据的隐私保护技术研究(142400411237) 河南省教育厅项目:基于资源整合的物流web服务动态优化组合方法研究(15B520046);河南省教育厅项目:面向云计算基于隐私保护的信任模型研究(15B520045)资助
【分类号】：TP393.09

【相似文献】