云网融合环境下服务组合的未来属性验证.pdfVIP

研究论文第51卷第3期/2025年3月/计算机工程

云网融合环境下服务组合的未来属性验证

王湛1，张鹏程1，金惠颖²，吉顺慧1

（1.河海大学计算机与软件学院，江苏南京211100；2.南京邮电大学计算机学院，江苏南京210023）

摘要：随着云网融合技术以及空天地一体化网络的快速发展，越来越多的服务开始在云网融合环境下运行。

在云网融合环境下，用户呈现移动性特征，导致服务组合过程变得愈发复杂，服务组合验证变得尤为关键。同时，

在云网融合环境下用户要求服务组合不仅在当前时间段内稳定运行，还需要在未来时间段内持续满足用户需求。

为了解决以上问题，提出一种云网融合环境下的服务组合未来属性验证方法。首先，对云网融合中的服务组合过

程进行形式化建模，同时考虑用户移动导致的云网环境下服务场景的转换关系；然后，为了准确描述用户需求，对

云网融合场景下的用户需求进行形式化描述；最后，为了解决云网融合环境下用户对服务组合未来时间段内的验

证需求，对服务组合未来时间段的服务属性进行预测，利用PRISM模型检验工具来进行云网融合环境下的服务

组合验证，以确保在未来时间段内仍然满足性能和可用性要求。实验结果表明，在云网融合环境下，当服务数量

达到1000时验证模型构建时间以及模型检测时间分别为3.372s和0.075s，通过云网融合环境下的服务组合案

例说明了所提方法的有效性与可行性。

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

中图分类号：TP311文献标志码：AD0l:10.19678/j.issn.1000-3428.0069339

FutureAttributeVerificationofServiceComposition

inCloud-NetworkIntegrationEnvironment

WANGZhan,ZHANGPengcheng,JINHuiying,JIShunhuil

(1.SchoolofComputerandSoftware,HohaiUniversity,Nanjing211100,Jiangsu,China;

2.SchoolofComputer,NanjingUniversityofPostsandTelecommunications,Nanjing210023,Jiangsu,China)

[Abstract]Withtherapiddevelopmentofcloudnetworkintegrationtechnologyandintegrationofairandspace

networks,anincreasingnumberofservicesaretransitioningtooperatewithinthisintegratedenvironment.Inthe

contextofcloud-networkintegration,usersexhibitmobilitycharacteristics,leadingtoheightenedcomplexityin

servicecomposition.Consequently,thevalidationoftheservicecompositioniscriticalinthecontextofcloud

networkintegration.Simultaneously,thecloud-networkintegrationparadigmdemandsthatservicecompositions

notonlyfunctionreliablyinthepresenttimeframebutalsosustainablycatertofuturedemands.Thispaper

proposesamethodforve