Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods.
Shenghui ChenZhiming FanHaiying ShenLu FengPublished in: MASS Workshops (2019)
Keyphrases
- formal methods
- load balancing
- distributed systems
- safety critical
- modeling language
- model checking
- knowledge based systems
- peer to peer systems
- dynamic load balancing
- software engineering
- peer to peer
- formal specification
- cloud computing environment
- load balance
- fault tolerant
- fault tolerance
- artificial intelligence
- parallel database systems
- grid computing
- database
- mobile agents
- protocol specification
- load balancing strategy
- formal verification
- cloud computing
- skewed data
- expert systems