基于模型检测的微服务组合平台QoS验证

• 作者: 丁雪儿 张开乐 毛昕怡 钮俊
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 微服务组合 连续时间Markov链 连续随机回报逻辑 模型检测 PRISM
• 年，卷（期）: 2020,（11）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 3267-3272
• 页数: 6页
• 分类号: TP311.11
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2020030387

摘要

针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估.首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型(LMRM),借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果.实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钮俊		17	129	6.0	11.0
2	张开乐		3	48	1.0	3.0
3	毛昕怡		3	48	1.0	3.0
4	丁雪儿		1	0	0.0	0.0