A review of microservices autoscaling with formal verification perspective
The process of scaling microservices is a challenging task, especially in maintaining optimum resource provisioning while respecting QoS constraints and SLA. Many research works have proposed autoscaling approaches for microservices, however, less likely concerned with the correctness guarantee of t...
| Published in: | Software - Practice and Experience |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
John Wiley and Sons Ltd
2022
|
| Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85136984240&doi=10.1002%2fspe.3135&partnerID=40&md5=8f6e93508ba189b1ca0b43f0ca82724e |