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

Verification scheme for Web service combination based on service grouping and invocation track

作　　者：李靖[1] 崔仲远[1] 

机构地区：[1]周口师范学院计算机科学与技术学院,河南周口466001

出　　处：《现代电子技术》2016年第5期126-130,共5页Modern Electronics Technique

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

摘　　要：针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。In order to solve the effectivenesss verification of Web service combination, a verification scheme for Web service combination based on service grouping and invocation track is proposed. On the basis of service invocation sequence, the candidate Web services are divided into several subsets by using the proposed Web service set grouping （WSSG） algorithm, and in combination with the invocation track, these subsets are arranged to constitute the WSSG graph as the abstract model of the system. The expected interaction specification required by the system is reasoned, and described with linear temporal logic （LTL）. The feasibility of the combination model is verified by that whether the detection model accords with the interaction spe- cification. The experimental results show that the proposed scheme can effectively verify the correctness of Web service composition, and avoid the deadlock phenomenon.

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

分 类 号：TN911-34[电子电信—通信与信息系统] TP311[电子电信—信息与通信工程]