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...
出版年: | Software - Practice and Experience |
---|---|
第一著者: | |
フォーマット: | 論文 |
言語: | English |
出版事項: |
John Wiley and Sons Ltd
2022
|
オンライン・アクセス: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85136984240&doi=10.1002%2fspe.3135&partnerID=40&md5=8f6e93508ba189b1ca0b43f0ca82724e |