Formal Modeling of Self-Adaptive Resource Scheduling in Cloud
Source abstract
Abstract
A self-adaptive resource provisioning on demand is a critical factor in cloud computing. The selection of accurate amount of resources at run time is not easy due to dynamic nature of requests. Therefore, a self-adaptive strategy of resources is required to deal with dynamic nature of requests based on run time change in workload. In this paper we proposed a Cloud-based Adaptive Resource Scheduling Strategy (CARSS) Framework that formally addresses these issues and is more expressive than traditional approaches. The decision making in CARSS is based on more than one factors. The MAPE-K based framework determines the state of the resources based on their current utilization. Timed-Arc Petri Net (TAPN) is used to model system formally and behaviour is expressed in TCTL, while TAPAAL model checker verifies the underline properties of the system.
Source: openalex_inverted_index · Quality: baseline
Research context
OpenAlex topics: Service-Oriented Architecture and Web Services · Distributed systems and fault tolerance · Software System Performance and Reliability
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
References (31)
Show source-provided references
1. The NIST definition of cloud computing
2. Optimal resource rental planning for elastic applications in cloud market
3. A survey on workflow management and scheduling in cloud computing
4. A formal aspect-oriented method for modeling and analyzing adaptive resource scheduling in cloud computing10.1109/TNSM.2016.2553157 ↗
5. Load balancing and server consolidation in cloud computing environments: A meta-study10.1109/ACCESS.2019.2944420 ↗
6. Cloud computing concepts, architecture and challenges
7. Energy use in the media cloud: Behaviour change, or technofix?
8. Assorted load balancing algorithms in cloud computing: A survey10.5120/ijca2016910258 ↗
9. Load balancing techniques in cloud computing environment: A review
10. Survey of major load balancing algorithms in distributed system
11. A survey of various load balancing algorithms in cloud computing
12. Sla driven load balancing for web applications in cloud computing environment
13. A Self-adaptive agent-based system for cloud platforms
14. Mape-k formal templates to rigorously design behaviors for self-adaptive systems10.1145/2724719 ↗
15. Toward formal modeling and verification of resource provisioning as a service in cloud10.1109/ACCESS.2019.2900473 ↗
16. Formal modelling and verifying elasticity strategies in cloud systems10.1049/iet-sen.2018.5030 ↗
17. Formally modeling and analyzing cost-aware job scheduling for cloud data center
18. Formal modeling and evaluation of stateful service-based business process elasticity in the cloud
19. Formal verification approaches and standards in the cloud computing10.1016/j.csi.2017.11.007 ↗
20. Deadline constrained based dynamic load balancing algorithm with elasticity in cloud environment10.1016/j.compeleceng.2017.11.018 ↗
21. Mape-k interfaces for formal modeling of real-time self-adaptive multi-agent systems10.1109/ACCESS.2016.2592381 ↗
22. Intelligent cloud based load balancing system empowered with fuzzy logic10.32604/cmc.2021.013865 ↗
23. Self-adaptive load balancing using live migration of virtual machines in cloud environment10.14704/WEB/V17I2/WEB17064 ↗
24. An intelligent machine learning and self adaptive resource allocation framework for cloud computing environment10.4108/eai.13-7-2018.165501 ↗
25. Optimal resource allocation in fog computing for healthcare applications10.32604/cmc.2022.023234 ↗
26. Mahdavi-Hezavehi · Managing Trade-Offs in Adaptable Software Architectures · 2017 · 4510.1016/B978-0-12-802855-1.00003-4 ↗
27. The vision of autonomic computing10.1109/MC.2003.1160055 ↗
28. Russell · Artificial Intelligence: A Modern Approach · 2010 · 34
29. Analyzing the schedulability of hard real-time artificial intelligence systems?10.1016/S0952-1976(97)80004-8 ↗
30. The artis agent architecture : Modelling agents in hard real-time environments
31. Verification of timed-arc petri nets