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

• 作者: 崔仲远 李靖
• 来源期刊: 现代电子技术
• 关键词: Web服务组合验证 建模 调用轨迹 线性时序逻辑
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 测试?测量?自动化
• 页码范围: 126-130
• 页数: 5页
• 分类号: TN911-34|TP311
• 语种: 中文
• DOI: 10.16652/j.issn.1004-373x.2016.05.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔仲远	周口师范学院计算机科学与技术学院	17	45	3.0	5.0
2	李靖	周口师范学院计算机科学与技术学院	26	31	3.0	4.0