微服务组合验证方法综述

• 作者: 毛昕怡 辛园园
• 来源期刊: 无线通信技术
• 学科: 工学
• 关键词: 微服务 微服务组合 形式化验证方法 运行时检测
• 年，卷（期）: 2019,（3）
• 页码范围: 46-50
• 页数: 5页
• 分类号: TP391
• 字数: 4563字
• 语种: 中文

摘要

微服务架构作为一种分布式的架构,因其良好的平台兼容性、灵活的动态扩展能力、强大的容错能力等特点,在业内引起了越来越多的关注.在微服务架构中,通常单一微服务仅能实现一个简单的功能,而实现复杂的业务功能时,需将系统中各个独立的微服务进行灵活组合,以满足更为丰富的业务需求.但组合后的微服务可能存在逻辑错误或安全性等问题,因此若要保证组合后的微服务能够完成期望的业务功能,同时在运行时不会出现不期望的情况,则需对组合服务进行验证.研究微服务组合验证能够确保组合服务正常运行并且达到预期目标.本文旨在对当前微服务组合验证的相关研究进行综述,先对微服务的概念及微服务的组合进行介绍,再分别从微服务的静态验证和运行时检测两个方面,对目前微服务组合验证的研究工作进行阐述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	辛园园	宁波大学信息科学与工程学院	5	54	2.0	5.0
2	毛昕怡	宁波大学信息科学与工程学院	3	48	1.0	3.0