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

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

毛昕怡, 钮俊, 丁雪儿, 张开乐

QoS verification of microservice composition platform based on model checking

MAO Xinyi, NIU Jun, DING Xueer, ZHANG Kaile

计算机应用 . 2020, (11): 3267 -3272 . DOI: 10.11772/j.issn.1001-9081.2020030387