计算机工程

作者：王湛, 张鹏程, 金惠颖, 吉顺慧

单位：1. 河海大学计算机与软件学院, 江苏 南京 2111002. 南京邮电大学计算机学院, 江苏 南京 210023

关键词：云网融合,服务组合,马尔可夫决策过程,服务质量,形式化验证

基金：国家自然科学基金(U21B2016); 国家自然科学基金(62272145)

随着云网融合技术以及空天地一体化网络的快速发展, 越来越多的服务开始在云网融合环境下运行。在云网融合环境下, 用户呈现移动性特征, 导致服务组合过程变得愈发复杂, 服务组合验证变得尤为关键。同时, 在云网融合环境下用户要求服务组合不仅在当前时间段内稳定运行, 还需要在未来时间段内持续满足用户需求。为了解决以上问题, 提出一种云网融合环境下的服务组合未来属性验证方法。首先, 对云网融合中的服务组合过程进行形式化建模, 同时考虑用户移动导致的云网环境下服务场景的转换关系; 然后, 为了准确描述用户需求, 对云网融合场景下的用户需求进行形式化描述; 最后, 为了解决云网融合环境下用户对服务组合未来时间段内的验证需求, 对服务组合未来时间段的服务属性进行预测, 利用PRISM模型检验工具来进行云网融合环境下的服务组合验证, 以确保在未来时间段内仍然满足性能和可用性要求。实验结果表明, 在云网融合环境下, 当服务数量达到1 000时验证模型构建时间以及模型检测时间分别为3.372 s和0.075 s, 通过云网融合环境下的服务组合案例说明了所提方法的有效性与可行性。

来源：2025年第3期

《计算机工程》期刊编辑部

查看计算机工程杂志2025年第3期