云网融合环境下基于概率模型检验的服务组合验证方法及系统

本发明公开了一种云网融合环境下基于概率模型检验的服务组合验证方法及系统。本发明通过收集云网用户位置信息、服务器分布和服务质量文件，通过融合云网用户位置信息、服务器分布和服务质量文件得到云网服务样本数据集。在此基础上，对云网融合中的服务组合过程进行形式化建模，同时考虑了用户移动导致的云网融合环境下服务属性的变化。将用户位置信息作为历史数据，利用马尔可夫过程建立了用户移动模型。为了准确描述用户需求，对云网融合场景下的用户需求进行多目标形式化描述，利用PRISM模型检验工具来进行云网融合环境下的服务组合验证。本发明提出的服务组合验证方法能够及时验证服务组合是否满足用户需求，以确保服务组合仍然满足性能和可用性要求。