| 基于服务分组和调用轨迹的Web服务组合验证方案 |
| |
| 引用本文： | 李靖,崔仲远.基于服务分组和调用轨迹的Web服务组合验证方案[J].现代电子技术,2016(5):126-130. |
| |
| 作者姓名： | 李靖 崔仲远 |
| |
| 作者单位： | 周口师范学院计算机科学与技术学院 |
| |
| 基金项目： | 国家青年基金项目(61300124);河南省科技厅项目:面向航空港区的物流Web服务动态优化组合问题研究(132400411365);河南省科技厅项目:面向大数据的隐私保护技术研究(142400411237);河南省教育厅项目:基于资源整合的物流web服务动态优化组合方法研究(15B520046);河南省教育厅项目:面向云计算基于隐私保护的信任模型研究(15B520045)资助 |
| |
| 摘 要： | 针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。
|
| 关 键 词： | Web服务组合验证 建模 调用轨迹 线性时序逻辑 |
Verification scheme for Web service combination based on service grouping and invocation track |
| |
| LI Jing;CUI Zhongyuan.Verification scheme for Web service combination based on service grouping and invocation track[J].Modern Electronic Technique,2016(5):126-130. |
| |
| Authors: | LI Jing;CUI Zhongyuan |
| |
| Affiliation: | LI Jing;CUI Zhongyuan;Department of Computer Science and Technology,Zhoukou Normal University; |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
